Searched defs:ipi_flush_tlb_kernel_range (Results 1 – 3 of 3) sorted by relevance
65 static inline void ipi_flush_tlb_kernel_range(void *arg) in ipi_flush_tlb_kernel_range() function
326 static inline void ipi_flush_tlb_kernel_range(void *arg) in ipi_flush_tlb_kernel_range() function
528 static void ipi_flush_tlb_kernel_range(void *arg) in ipi_flush_tlb_kernel_range() function