/* Pop the most important thread from the ready list. */
static struct thrd_t* scheduler_ready_pop(void)
/* Pop the most important thread from the ready list. */
static struct thrd_t* scheduler_ready_pop(void)
{
    return (thrd_prio_list_pop_isr(&module.scheduler.ready)->thrd_p);
}