handle_ipi
handle_ipi(regs);
extern void handle_ipi(struct pt_regs *);
rc = request_percpu_irq(ipi_irq, handle_ipi, "IPI Interrupt",
if (request_irq(irq, handle_ipi, IRQF_TRIGGER_RISING, "ipi_handler",
if (request_irq(irq, handle_ipi, IRQF_TRIGGER_RISING,