Searched refs:read_dcache_line_bytes (Results 1 – 3 of 3) sorted by relevance
331 if ( dcache_line_bytes != read_dcache_line_bytes() ) in start_secondary()334 smp_processor_id(), read_dcache_line_bytes(), in start_secondary()
791 dcache_line_bytes = read_dcache_line_bytes(); in start_xen()
148 static inline size_t read_dcache_line_bytes(void) in read_dcache_line_bytes() function
Completed in 7 milliseconds