Searched refs:flush_tlb_kernel_range_ipi (Results 1 – 3 of 3) sorted by relevance
411 static void flush_tlb_kernel_range_ipi(void *info) in flush_tlb_kernel_range_ipi() function424 on_each_cpu(flush_tlb_kernel_range_ipi, (void *)&fd, 1); in flush_tlb_kernel_range()
607 static void flush_tlb_kernel_range_ipi(void *info) in flush_tlb_kernel_range_ipi() function621 on_each_cpu(flush_tlb_kernel_range_ipi, &fd, 1); in flush_tlb_kernel_range()
612 static void flush_tlb_kernel_range_ipi(void *info) in flush_tlb_kernel_range_ipi() function626 on_each_cpu(flush_tlb_kernel_range_ipi, &fd, 1); in flush_tlb_kernel_range()
