SOBJ_MUTEX
{ SOBJ_MUTEX, "mutex", "mutex_sobj_ops" },
SOBJ_MUTEX, mutex_owner, turnstile_stay_asleep, turnstile_change_pri
SOBJ_TYPE(owner->t_sobj_ops) == SOBJ_MUTEX &&
if (SOBJ_TYPE(sobj_ops) == SOBJ_MUTEX &&
ASSERT(SOBJ_TYPE(t->t_sobj_ops) == SOBJ_MUTEX);