flush_tlb_range_ipi  559 arch/mips/kernel/smp.c static void flush_tlb_range_ipi(void *info)
flush_tlb_range_ipi  383 arch/sh/kernel/smp.c static void flush_tlb_range_ipi(void *info)