cv_has_waiters
KASSERT(!cv_has_waiters(&head->table_cv));
KASSERT(!cv_has_waiters(cv));
KASSERT(cv_has_waiters(cv));
KASSERT(cv_has_waiters(cv));
KASSERT(!cv_has_waiters(&thread->tpt_cv));
KASSERT(!cv_has_waiters(&pool->tp_dispatcher.tpt_cv));
KASSERT(!cv_has_waiters(&pool->tp_dispatcher.tpt_cv));
KASSERT(!cv_has_waiters(&job->job_cv));
KASSERT(cv_has_waiters(&semcv[i]) == false);
KASSERT(!cv_has_waiters(&ks->ks_cv));
KASSERT(!cv_has_waiters(&so->so_cv));
KASSERT(!cv_has_waiters(&so->so_rcv.sb_cv));
KASSERT(!cv_has_waiters(&so->so_snd.sb_cv));
KASSERT(!cv_has_waiters(&so->so_cv));
KASSERT(!cv_has_waiters(&so->so_rcv.sb_cv));
KASSERT(!cv_has_waiters(&so->so_snd.sb_cv));
KASSERT(!cv_has_waiters(&bp->b_done));
KASSERT(!cv_has_waiters(&bp->b_done));
KASSERT(!cv_has_waiters(&bp->b_done));
KASSERT(!cv_has_waiters(&bp->b_done));
KASSERT(!cv_has_waiters(&bp->b_done));
KASSERT(!cv_has_waiters(&bp->b_done));
KASSERT(!cv_has_waiters(&bp->b_done));
KASSERT(!cv_has_waiters(&bp->b_done));
KASSERT(!cv_has_waiters(&bp->b_done));
bool cv_has_waiters(kcondvar_t *);
KASSERT(!cv_has_waiters(&bp->b_done));
KASSERT(!cv_has_waiters(&bp->b_done));