rumpuser_mutex_exit
rumpuser_mutex_exit(mtx);
rumpuser_mutex_exit(mtx);
void rumpuser_mutex_exit(struct rumpuser_mtx *);
rumpuser_mutex_exit(sicpumtx);
rumpuser_mutex_exit(sicpumtx);
rumpuser_mutex_exit(sicpumtx);
rumpuser_mutex_exit(rump_giantlock);
rumpuser_mutex_exit(RUMPMTX(mtx));
rumpuser_mutex_exit(rcpu->rcpu_mtx);
rumpuser_mutex_exit(lwp0mtx);
rumpuser_mutex_exit(lwp0mtx);
rumpuser_mutex_exit(rcpu->rcpu_mtx);
rumpuser_mutex_exit(rcpu->rcpu_mtx);
rumpuser_mutex_exit(rcpu->rcpu_mtx);
rumpuser_mutex_exit(rcpu->rcpu_mtx);
rumpuser_mutex_exit(thrmtx);
rumpuser_mutex_exit(thrmtx);
rumpuser_mutex_exit(thrmtx);
rumpuser_mutex_exit(thrmtx);
rumpuser_mutex_exit(thrmtx);