RUMPCV
rumpuser_cv_destroy(RUMPCV(cv));
if (rumpuser_cv_timedwait(RUMPCV(cv), RUMPMTX(mtx),
rumpuser_cv_wait(RUMPCV(cv), RUMPMTX(mtx));
rumpuser_cv_wait(RUMPCV(&p->p_waitcv),
rumpuser_cv_signal(RUMPCV(cv));
rumpuser_cv_broadcast(RUMPCV(cv));
rumpuser_cv_has_waiters(RUMPCV(cv), &rv);
return RUMPCV(cv) != NULL;
rumpuser_cv_destroy(RUMPCV(cv));
rump_schedlock_cv_wait(RUMPCV(cv));
rv = rump_schedlock_cv_timedwait(RUMPCV(cv), &ts);
rumpuser_cv_signal(RUMPCV(cv));
rumpuser_cv_broadcast(RUMPCV(cv));
rumpuser_cv_has_waiters(RUMPCV(cv), &n);
return RUMPCV(cv) != NULL;