SCHED_PRI_MAX
* (SCHED_PRI_MAX - SCHED_PRI_MIN)
KASSERT(prio <= SCHED_PRI_MAX);
/ (SCHED_PRI_MAX - SCHED_PRI_MIN)
if (pri != PRI_NONE && (pri < SCHED_PRI_MIN || pri > SCHED_PRI_MAX))
pri > SCHED_PRI_MAX || l->l_priority > pri + PRI_USER_RT)) {
NULL, SCHED_PRI_MAX, NULL, 0,
KASSERT(pri <= SCHED_PRI_MAX);