OCTEON_IRQ_WDOG0
int coreid = data->irq - OCTEON_IRQ_WDOG0; /* Bit 0-63 of EN1 */
int coreid = data->irq - OCTEON_IRQ_WDOG0;
r = irq_alloc_descs(OCTEON_IRQ_WDOG0, OCTEON_IRQ_WDOG0, 16, -1);
i + OCTEON_IRQ_WDOG0, 1, i + 0, 0, chip_wd,
int coreid = data->irq - OCTEON_IRQ_WDOG0;
r = octeon_irq_set_ciu_mapping(i + OCTEON_IRQ_WDOG0, 1, i, 0,
OCTEON_IRQ_MBOX0 = OCTEON_IRQ_WDOG0 + 32,
irq = OCTEON_IRQ_WDOG0 + coreid;
irq = OCTEON_IRQ_WDOG0 + core;