handle_IPI         35 arch/arm/include/asm/smp.h void handle_IPI(int ipinr, struct pt_regs *regs);
handle_IPI        629 arch/arm/kernel/smp.c 	handle_IPI(ipinr, regs);
handle_IPI         61 arch/arm64/include/asm/smp.h extern void handle_IPI(int ipinr, struct pt_regs *regs);
handle_IPI        124 arch/ia64/include/asm/smp.h extern irqreturn_t handle_IPI(int irq, void *dev_id);
handle_IPI        590 arch/ia64/kernel/irq_ia64.c 	.handler =	handle_IPI,
handle_IPI         24 arch/openrisc/include/asm/smp.h extern void handle_IPI(unsigned int ipi_msg);
handle_IPI        578 drivers/irqchip/irq-armada-370-xp.c 					handle_IPI(ipinr, regs);
handle_IPI        138 drivers/irqchip/irq-bcm2836.c 		handle_IPI(ipi, regs);
handle_IPI        667 drivers/irqchip/irq-gic-v3.c 		handle_IPI(irqnr, regs);
handle_IPI        388 drivers/irqchip/irq-gic.c 			handle_IPI(irqnr, regs);
handle_IPI        192 drivers/irqchip/irq-hip04.c 			handle_IPI(irqnr, regs);
handle_IPI        140 drivers/irqchip/irq-ompic.c 			handle_IPI(ipi_msg);