WITNESS_CHECKORDER
WITNESS_CHECKORDER(&mpl->mpl_lock_obj,
WITNESS_CHECKORDER(MUTEX_LOCK_OBJECT(mtx),
WITNESS_CHECKORDER(MUTEX_LOCK_OBJECT(mtx),
WITNESS_CHECKORDER(&mpl->mpl_lock_obj,
WITNESS_CHECKORDER(MUTEX_LOCK_OBJECT(mtx),
WITNESS_CHECKORDER(MUTEX_LOCK_OBJECT(mtx),
WITNESS_CHECKORDER(&rwl->rwl_lock_obj, lop_flags, NULL);
WITNESS_CHECKORDER(&rwl->rwl_lock_obj, lop_flags, NULL);
WITNESS_CHECKORDER(&smr_lock_obj, LOP_NEWORDER, NULL);
WITNESS_CHECKORDER(&smr_lock_obj, LOP_NEWORDER, NULL);
WITNESS_CHECKORDER(&tq->tq_lock_object, LOP_NEWORDER, NULL);
WITNESS_CHECKORDER(&tq->tq_lock_object, LOP_NEWORDER, NULL);
WITNESS_CHECKORDER(&tq->tq_lock_object, LOP_NEWORDER, NULL);
WITNESS_CHECKORDER(TIMEOUT_LOCK_OBJ(needsproc), LOP_NEWORDER, NULL);