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(); }