void vT32_1_Handler( void ) { MAP_Timer32_clearInterruptFlag( TIMER32_1_MODULE ); portYIELD_FROM_ISR( xSecondTimerHandler() ); }
void vT32_1_Handler( void ) { MAP_Timer32_clearInterruptFlag( (uint32_t)TIMER32_1_BASE ); portYIELD_FROM_ISR( xSecondTimerHandler() ); }
void vT32_0_Handler( void ) { MAP_Timer32_clearInterruptFlag( TIMER32_0_MODULE ); portYIELD_FROM_ISR( xFirstTimerHandler() ); }