do_IPI            416 arch/arc/kernel/smp.c 		rc = request_percpu_irq(virq, do_IPI, "IPI Interrupt", dev);
do_IPI             30 arch/arm/include/asm/smp.h asmlinkage void do_IPI(int ipinr, struct pt_regs *regs);