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