OCTEON_IRQ_MBOX1
r = irq_alloc_desc_at(OCTEON_IRQ_MBOX1, -1);
OCTEON_IRQ_MBOX1, 0, 33, 0, chip_mbox, handle_percpu_irq);
irq_set_chip_and_handler(OCTEON_IRQ_MBOX1, &octeon_irq_chip_ciu2_mbox, handle_percpu_irq);