Searched defs:ipi_flush_tlb_page (Results 1 – 5 of 5) sorted by relevance
38 static inline void ipi_flush_tlb_page(void *arg) in ipi_flush_tlb_page() function
253 static inline void ipi_flush_tlb_page(void *info) in ipi_flush_tlb_page() function
671 ipi_flush_tlb_page(void *x) in ipi_flush_tlb_page() function
303 static inline void ipi_flush_tlb_page(void *arg) in ipi_flush_tlb_page() function
496 static void ipi_flush_tlb_page(void *arg) in ipi_flush_tlb_page() function