/* Function for scheduling a timer list update by generating a SWI interrupt.  */
static void timer_list_handler_sched(void)
/* Function for scheduling a timer list update by generating a SWI interrupt.  */
static void timer_list_handler_sched(void)
{
    NVIC_SetPendingIRQ(SWI_IRQn);
}