WITNESS_UNLOCK
WITNESS_UNLOCK(&lk->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_UNLOCK(&lk->lock_object, 0, file, line);
WITNESS_UNLOCK(&lk->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_UNLOCK(&m->lock_object, LOP_EXCLUSIVE, __FILE__,
WITNESS_UNLOCK(&m->lock_object, opts | LOP_EXCLUSIVE, file, line);
WITNESS_UNLOCK(&m->lock_object, opts | LOP_EXCLUSIVE, file, line);
WITNESS_UNLOCK(&rm->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_UNLOCK(&rm->lock_object, 0, file, line);
WITNESS_UNLOCK(&rw->lock_object, LOP_EXCLUSIVE, file, line);
WITNESS_UNLOCK(&rw->lock_object, 0, file, line);
WITNESS_UNLOCK(&sx->lock_object, 0, file, line);
WITNESS_UNLOCK(&sx->lock_object, LOP_EXCLUSIVE, file, line);