octeon_irq_ciu3_base_mbox_intsn
return octeon_irq_ciu3_base_mbox_intsn(core) + mbox;
int mbox = intsn - octeon_irq_ciu3_base_mbox_intsn(core);