__ISR(_TIMER_2_VECTOR, IPL(TICK_IPL)) OSTickInt( void ) { mT2ClearIntFlag(); OS_TimerHook(); if (0 == --OneSecPrescaler) { OneSecPrescaler = SYSTICKHZ; OSTickSeconds++; } }
__attribute__((interrupt, no_auto_psv)) _T1Interrupt(void) { /* * clear the interrupt flag * and handle the event */ IFS0bits.T1IF = 0; OS_TimerHook(); if (0 == --OneSecPrescaler) { OneSecPrescaler = SYSTICKHZ; OSTickSeconds++; } }