TMR_IRQ_EN_REG
const uint32_t irq_en = TIMER_READ(sc, TMR_IRQ_EN_REG);
TIMER_WRITE(sc, TMR_IRQ_EN_REG, irq_en | TMR_IRQ_EN(0));
TIMER_WRITE(sc, TMR_IRQ_EN_REG, 0);