flush_tlb_page_ipi  633 arch/mips/kernel/smp.c static void flush_tlb_page_ipi(void *info)
flush_tlb_page_ipi  429 arch/sh/kernel/smp.c static void flush_tlb_page_ipi(void *info)