rumpuser_mutex_init
void rumpuser_mutex_init(struct rumpuser_mtx **, int);
rumpuser_mutex_init(&sicpumtx, RUMPUSER_MTX_SPIN);
rumpuser_mutex_init((struct rumpuser_mtx **)mtx, ruflags);
rumpuser_mutex_init(&rump_giantlock, RUMPUSER_MTX_SPIN);
rumpuser_mutex_init(&lwp0mtx, RUMPUSER_MTX_SPIN);
rumpuser_mutex_init(&rcpu->rcpu_mtx, RUMPUSER_MTX_SPIN);
rumpuser_mutex_init(&thrmtx, RUMPUSER_MTX_SPIN);