threadpool_pri_is_valid
KASSERT(threadpool_pri_is_valid(pri));
if (! threadpool_pri_is_valid(pri))
KASSERT(threadpool_pri_is_valid(pri));
if (! threadpool_pri_is_valid(pri))
KASSERT(threadpool_pri_is_valid(pri));