rumpuser_mutex_owner
void rumpuser_mutex_owner(struct rumpuser_mtx *, struct lwp **);
rumpuser_mutex_owner(RUMPMTX(mtx), &l);