static void System_Handler( void )
{
/* See the comments above the function prototype in this file. */
FreeRTOS_Tick_Handler();
}
/*
* The application must provide a function that configures a peripheral to
* create the FreeRTOS tick interrupt, then define configSETUP_TICK_INTERRUPT()
* in FreeRTOSConfig.h to call the function.
*/
void handle_timer_interrupt(uint32_t unused)
{
schedule_timer();
FreeRTOS_Tick_Handler();
}
