WITNESS_LOCK
WITNESS_LOCK(&mpl->mpl_lock_obj, LOP_EXCLUSIVE);
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_LOCK(&mpl->mpl_lock_obj, LOP_EXCLUSIVE);
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_LOCK(&rwl->rwl_lock_obj, lop_flags);
WITNESS_LOCK(&rwl->rwl_lock_obj, lop_flags);
WITNESS_LOCK(&rrwl->rrwl_lock.rwl_lock_obj,
WITNESS_LOCK(&smr_lock_obj, 0);
WITNESS_LOCK(&tq->tq_lock_object, 0);
WITNESS_LOCK(TIMEOUT_LOCK_OBJ(needsproc), 0);