IPI0_IRQ
if (request_irq(IPI0_IRQ, bmips_ipi_interrupt,
int action = irq - IPI0_IRQ;
int action, cpu = irq - IPI0_IRQ;