/* Push a thread on the list of threads that are ready to be scheduled. */
static void scheduler_ready_push(struct thrd_t *thrd_p)
/* Push a thread on the list of threads that are ready to be scheduled. */
static void scheduler_ready_push(struct thrd_t *thrd_p)
{
    thrd_prio_list_push_isr(&module.scheduler.ready, &thrd_p->scheduler.elem);
}