Searched refs:flush_tsb_kernel_range_scan (Results 1 – 1 of 1) sorted by relevance
30 static void flush_tsb_kernel_range_scan(unsigned long start, unsigned long end) in flush_tsb_kernel_range_scan() function54 return flush_tsb_kernel_range_scan(start, end); in flush_tsb_kernel_range()