tick_ctx_is_full
if (tick_ctx_is_full(sched, ctx))
if (tick_ctx_is_full(sched, ctx))
prio >= 0 && !tick_ctx_is_full(sched, &ctx);
prio >= 0 && !tick_ctx_is_full(sched, &ctx);
prio >= 0 && !tick_ctx_is_full(sched, &ctx);