MUTEX_LOCK_OBJECT
WITNESS_CHECKORDER(MUTEX_LOCK_OBJECT(mtx),
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_UNLOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_CHECKORDER(MUTEX_LOCK_OBJECT(mtx),
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_CHECKORDER(MUTEX_LOCK_OBJECT(mtx),
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_UNLOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_CHECKORDER(MUTEX_LOCK_OBJECT(mtx),
WITNESS_LOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
WITNESS_UNLOCK(MUTEX_LOCK_OBJECT(mtx), LOP_EXCLUSIVE);
struct lock_object *lo = MUTEX_LOCK_OBJECT(m);