rumpuser_cv_wait_nowrap
void rumpuser_cv_wait_nowrap(struct rumpuser_cv *, struct rumpuser_mtx *);
rumpuser_cv_wait_nowrap(sicpucv, sicpumtx);
rumpuser_cv_wait_nowrap(lwp0cv, lwp0mtx);
rumpuser_cv_wait_nowrap(rcpu->rcpu_cv, rcpu->rcpu_mtx);
rumpuser_cv_wait_nowrap(thrcv, thrmtx);
rumpuser_cv_wait_nowrap(thrcv, thrmtx);