Searched defs:flush_tlb_kernel_range_ipi (Results 1 – 2 of 2) sorted by relevance
415 static void flush_tlb_kernel_range_ipi(void *info) in flush_tlb_kernel_range_ipi() function
649 static void flush_tlb_kernel_range_ipi(void *info) in flush_tlb_kernel_range_ipi() function