LOP_EXCLUSIVE
WITNESS_UPGRADE(&lk->lock_object, LOP_EXCLUSIVE |
LOP_EXCLUSIVE, file, line, flags & LK_INTERLOCK ?
LOP_EXCLUSIVE, file, line, NULL);
LOP_EXCLUSIVE, file, line, flags & LK_INTERLOCK ?
WITNESS_LOCK(&lk->lock_object, LOP_EXCLUSIVE |
WITNESS_UNLOCK(&lk->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_LOCK(&lk->lock_object, LOP_EXCLUSIVE | LK_TRYWIT(flags), file,
WITNESS_UNLOCK(&lk->lock_object, LOP_EXCLUSIVE, file, line);
LOP_EXCLUSIVE, file, line, flags & LK_INTERLOCK ?
WITNESS_LOCK(&lk->lock_object, LOP_EXCLUSIVE |
WITNESS_UNLOCK(&m->lock_object, LOP_EXCLUSIVE, __FILE__,
LOP_NEWORDER | LOP_EXCLUSIVE, file, line, NULL);
WITNESS_LOCK(&m->lock_object, (opts & ~MTX_RECURSE) | LOP_EXCLUSIVE,
WITNESS_UNLOCK(&m->lock_object, opts | LOP_EXCLUSIVE, file, line);
WITNESS_CHECKORDER(&m->lock_object, opts | LOP_NEWORDER | LOP_EXCLUSIVE,
WITNESS_LOCK(&m->lock_object, opts | LOP_EXCLUSIVE, file, line);
WITNESS_LOCK(&m->lock_object, opts | LOP_EXCLUSIVE, file, line);
WITNESS_UNLOCK(&m->lock_object, opts | LOP_EXCLUSIVE, file, line);
WITNESS_LOCK(&m->lock_object, opts | LOP_EXCLUSIVE | LOP_TRYLOCK,
opts | LOP_NEWORDER | LOP_EXCLUSIVE, file, line, NULL);
WITNESS_LOCK(&m->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_LOCK(&m->lock_object, opts | LOP_EXCLUSIVE, file, line);
WITNESS_CHECKORDER(&rm->lock_object, LOP_NEWORDER | LOP_EXCLUSIVE,
WITNESS_LOCK(&rm->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_UNLOCK(&rm->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_UPGRADE(&rw->lock_object, LOP_EXCLUSIVE | LOP_TRYLOCK,
WITNESS_CHECKORDER(&rw->lock_object, LOP_NEWORDER | LOP_EXCLUSIVE, file,
WITNESS_LOCK(&rw->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_LOCK(&rw->lock_object, LOP_EXCLUSIVE | LOP_TRYLOCK,
WITNESS_UNLOCK(&rw->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_CHECKORDER(&sx->lock_object, LOP_NEWORDER | LOP_EXCLUSIVE, file,
WITNESS_LOCK(&sx->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_LOCK(&sx->lock_object, LOP_EXCLUSIVE | LOP_TRYLOCK,
WITNESS_UNLOCK(&sx->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_UPGRADE(&sx->lock_object, LOP_EXCLUSIVE | LOP_TRYLOCK,
(flags & LOP_EXCLUSIVE) == 0) {
(flags & LOP_EXCLUSIVE) != 0) {
if ((flags & LOP_EXCLUSIVE) != 0)
(flags & LOP_EXCLUSIVE) == 0) {
(flags & LOP_EXCLUSIVE) != 0) {