handle_IPI
void handle_IPI(int ipinr, struct pt_regs *regs);
extern void handle_IPI(unsigned int ipi_msg);
err = request_percpu_irq(ipi_virq_base + i, handle_IPI,
handle_IPI(ipi_msg);