void vT2InterruptHandler( void ) { TimerIntClear( TIMER2_BASE, TIMER_TIMA_TIMEOUT ); portEND_SWITCHING_ISR( xFirstTimerHandler() ); }
void __attribute__ ((interrupt)) __cs3_isr_interrupt_120( void ) { MCF_PIT1_PCSR |= MCF_PIT_PCSR_PIF; portEND_SWITCHING_ISR( xFirstTimerHandler() ); }