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();
}
Beispiel #3
0
void OS_ISR_Tick_Handler(void) {
  OS_TICK_Handle();
}