Searched refs:ipi_flush_tlb_kernel_range (Results 1 – 3 of 3) sorted by relevance
68 static inline void ipi_flush_tlb_kernel_range(void *arg) in ipi_flush_tlb_kernel_range() function244 on_each_cpu(ipi_flush_tlb_kernel_range, &ta, 1); in flush_tlb_kernel_range()
502 static void ipi_flush_tlb_kernel_range(void *arg) in ipi_flush_tlb_kernel_range() function514 on_each_cpu(ipi_flush_tlb_kernel_range, &fd, 1); in flush_tlb_kernel_range()
450 static inline void ipi_flush_tlb_kernel_range(void *arg) in ipi_flush_tlb_kernel_range() function511 on_each_cpu(ipi_flush_tlb_kernel_range, &ta, 1); in flush_tlb_kernel_range()
