Searched refs:do_kernel_range_flush (Results 1 – 1 of 1) sorted by relevance
1012 static void do_kernel_range_flush(void *info) in do_kernel_range_flush() function1034 on_each_cpu(do_kernel_range_flush, info, 1); in flush_tlb_kernel_range()