SCHED_PRI_MIN
* (SCHED_PRI_MAX - SCHED_PRI_MIN)
+ SCHED_PRI_MIN;
KASSERT(prio >= SCHED_PRI_MIN);
(prio - SCHED_PRI_MIN)
/ (SCHED_PRI_MAX - SCHED_PRI_MIN)
if (pri != PRI_NONE && (pri < SCHED_PRI_MIN || pri > SCHED_PRI_MAX))
} else if (__predict_false(pri < SCHED_PRI_MIN ||
NULL, SCHED_PRI_MIN, NULL, 0,
KASSERT(pri >= SCHED_PRI_MIN);