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)