rumpuser_cv_has_waiters
void rumpuser_cv_has_waiters(struct rumpuser_cv *, int *);
rumpuser_cv_has_waiters(RUMPCV(cv), &rv);
rumpuser_cv_has_waiters(RUMPCV(cv), &n);