Searched refs:ipi_flush_tlb_kernel_page (Results 1 – 1 of 1) sorted by relevance
575 static inline void ipi_flush_tlb_kernel_page(void *arg) in ipi_flush_tlb_kernel_page() function625 on_each_cpu(ipi_flush_tlb_kernel_page, &ta, 1); in flush_tlb_kernel_page()