/* Function for scheduling a check for timeouts by generating a RTC1 interrupt.  */
static void timer_timeouts_check_sched(void)
/* Function for scheduling a check for timeouts by generating a RTC1 interrupt.  */
static void timer_timeouts_check_sched(void)
{
    NVIC_SetPendingIRQ(RTC1_IRQn);
}