__attribute__((isr)) void TIMA0_IRQHandler(void) { dw_timer_irqhandler(0); }
__attribute__((isr)) void TIMB1_IRQHandler(void) { dw_timer_irqhandler(3); }
ATTRIBUTE_ISR void TIMB1_IRQHandler(void) { CSI_INTRPT_ENTER(); dw_timer_irqhandler(3); CSI_INTRPT_EXIT(); }