OCTEON_IRQ_TIMER0
int irq = OCTEON_IRQ_TIMER0 + TIMER_NUM;
free_irq(OCTEON_IRQ_TIMER0 + TIMER_NUM, 0);
ciu_domain, i + OCTEON_IRQ_TIMER0, 0, i + 52);
ciu_domain, i + OCTEON_IRQ_TIMER0, 3, i + 8);