rumpuser_cv_timedwait
int rumpuser_cv_timedwait(struct rumpuser_cv *, struct rumpuser_mtx *,
if (rumpuser_cv_timedwait(RUMPCV(cv), RUMPMTX(mtx),
rv = rumpuser_cv_timedwait(lts.ucv, rump_giantlock,
return rumpuser_cv_timedwait(cv, rcpu->rcpu_mtx,