bool cv_has_waiters(kcondvar_t *cv) { int rv; rumpuser_cv_has_waiters(RUMPCV(cv), &rv); return rv != 0; }
bool cv_has_waiters(kcondvar_t *cv) { int n; rumpuser_cv_has_waiters(RUMPCV(cv), &n); return n > 0; }
bool cv_has_waiters(kcondvar_t *cv) { return rumpuser_cv_has_waiters(RUMPCV(cv)); }