RUMPMTX
rumpuser_mutex_destroy(RUMPMTX(mtx));
if (!rumpuser_mutex_spin_p(RUMPMTX(mtx)))
rumpuser_mutex_enter(RUMPMTX(mtx));
KASSERT(rumpuser_mutex_spin_p(RUMPMTX(mtx)));
rumpuser_mutex_enter_nowrap(RUMPMTX(mtx));
error = rumpuser_mutex_tryenter(RUMPMTX(mtx));
rumpuser_mutex_exit(RUMPMTX(mtx));
rumpuser_mutex_owner(RUMPMTX(mtx), &l);
if (rumpuser_cv_timedwait(RUMPCV(cv), RUMPMTX(mtx),
rumpuser_cv_wait(RUMPCV(cv), RUMPMTX(mtx));
RUMPMTX(p->p_lock));