Searched refs:flush_tlb_range_ipi (Results 1 – 2 of 2) sorted by relevance
385 static void flush_tlb_range_ipi(void *info) in flush_tlb_range_ipi() function 404 smp_call_function(flush_tlb_range_ipi, (void *)&fd, 1); in flush_tlb_range()
592 static void flush_tlb_range_ipi(void *info) in flush_tlb_range_ipi() function 628 smp_on_other_tlbs(flush_tlb_range_ipi, &fd); in flush_tlb_range()