rumpuser_mutex_spin_p
int rumpuser_mutex_spin_p(struct rumpuser_mtx *);
if (!rumpuser_mutex_spin_p(RUMPMTX(mtx)))
KASSERT(rumpuser_mutex_spin_p(RUMPMTX(mtx)));