SOBJ_TYPE
SOBJ_TYPE(caller->t_sobj_ops) == SOBJ_SHUTTLE) {
SOBJ_TYPE(server_t->t_sobj_ops) == SOBJ_SHUTTLE)
SOBJ_TYPE(t->t_sobj_ops) == SOBJ_SHUTTLE)
psp->pr_stype = SOBJ_TYPE(sobj);
psp->pr_stype = SOBJ_TYPE(sobj);
SOBJ_TYPE(owner->t_sobj_ops) == SOBJ_MUTEX &&
ASSERT((SOBJ_TYPE(sobj_ops) == SOBJ_USER_PI) ^ (mp == NULL));
if (SOBJ_TYPE(sobj_ops) == SOBJ_USER_PI) {
if (SOBJ_TYPE(sobj_ops) == SOBJ_USER_PI) {
if (SOBJ_TYPE(sobj_ops) == SOBJ_MUTEX &&
if (SOBJ_TYPE(sobj_ops) != SOBJ_USER_PI) {
if (SOBJ_TYPE(t->t_sobj_ops) != SOBJ_USER_PI &&
SOBJ_TYPE(owner->t_sobj_ops) == SOBJ_USER_PI) {
ASSERT(SOBJ_TYPE(t->t_sobj_ops) == SOBJ_MUTEX);
if (SOBJ_TYPE(sobj_ops) == SOBJ_USER_PI) {