void SysTick_Handler(void) { OS_EnterNestableInterrupt(); OS_TICK_Handle(); #if OS_USE_JLINKMEM JLINKMEM_Process(); #endif OS_LeaveNestableInterrupt(); }
/********************************************************************* * * _OS_SystemIrqhandler() * the OS system interrupt, handles OS timer */ static void _OS_SystemIrqhandler(void) { volatile int Dummy; if (PIT_SR & (1uL << 0)) { /* Timer interupt pending? */ Dummy = PIT_PIVR; /* Reset interrupt pending condition */ OS_TICK_Handle(); /* Call OS tick handler */ #if (DEBUG || OS_USE_DCC) DCC_Process(); #endif } /* Call to following handlers may be removed if not used by application */ _HandlePmcIrq(); _HandleRttIrq(); _HandleDbguIrq(); _HandleRstcIrq(); _HandleWdtIrq(); }
void OS_ISR_Tick_Handler(void) { OS_TICK_Handle(); }