TURNSTILE_CHAIN
ASSERT(DISP_LOCK_HELD(&TURNSTILE_CHAIN(ts->ts_sobj).tc_lock));
turnstile_chain_t *tc = &TURNSTILE_CHAIN(sobj);
disp_lock_exit(&TURNSTILE_CHAIN(sobj).tc_lock);
turnstile_chain_t *tc = &TURNSTILE_CHAIN(sobj);
turnstile_chain_t *tc = &TURNSTILE_CHAIN(ts->ts_sobj);
turnstile_chain_t *tc = &TURNSTILE_CHAIN(ts->ts_sobj);