handle_IPI        632 arch/arm/kernel/smp.c void handle_IPI(int ipinr, struct pt_regs *regs)
handle_IPI        876 arch/arm64/kernel/smp.c void handle_IPI(int ipinr, struct pt_regs *regs)
handle_IPI         97 arch/ia64/kernel/smp.c handle_IPI (int irq, void *dev_id)
handle_IPI        144 arch/openrisc/kernel/smp.c void handle_IPI(unsigned int ipi_msg)