Searched defs:ipi_flush_tlb_range (Results 1 – 4 of 4) sorted by relevance
55 static inline void ipi_flush_tlb_range(void *arg) in ipi_flush_tlb_range() function
260 static inline void ipi_flush_tlb_range(void *info) in ipi_flush_tlb_range() function
310 static inline void ipi_flush_tlb_range(void *arg) in ipi_flush_tlb_range() function
511 static void ipi_flush_tlb_range(void *arg) in ipi_flush_tlb_range() function