Searched defs:flush_tlb_one_ipi (Results 1 – 3 of 3) sorted by relevance
458 static void flush_tlb_one_ipi(void *info) in flush_tlb_one_ipi() function
697 static void flush_tlb_one_ipi(void *info) in flush_tlb_one_ipi() function
790 static void flush_tlb_one_ipi(void *info) in flush_tlb_one_ipi() function