DISP_LOCK_HELD
ASSERT(!DISP_LOCK_HELD(&cap->cap_usagelock));
ASSERT(DISP_LOCK_HELD(&dp->disp_lock));
ASSERT(DISP_LOCK_HELD(lp));
ASSERT(DISP_LOCK_HELD(lp));
ASSERT(DISP_LOCK_HELD(lp));
ASSERT(DISP_LOCK_HELD(&TURNSTILE_CHAIN(ts->ts_sobj).tc_lock));
ASSERT(DISP_LOCK_HELD(&tc->tc_lock));
ASSERT(DISP_LOCK_HELD(&tc->tc_lock));
ASSERT(DISP_LOCK_HELD(&tc->tc_lock));
ASSERT(DISP_LOCK_HELD(&wq->wq_lock));
ASSERT(DISP_LOCK_HELD(&wq->wq_lock));
ASSERT(!DISP_LOCK_HELD(&wq->wq_lock));
#define DISP_LOCK_DESTROY(lp) ASSERT(!DISP_LOCK_HELD(lp))
#define THREAD_LOCK_HELD(t) (DISP_LOCK_HELD((t)->t_lockp))