flush_tlb_kernel_range_ipi  616 arch/mips/kernel/smp.c static void flush_tlb_kernel_range_ipi(void *info)
flush_tlb_kernel_range_ipi  413 arch/sh/kernel/smp.c static void flush_tlb_kernel_range_ipi(void *info)