WITNESS_DOWNGRADE
WITNESS_DOWNGRADE(&lk->lock_object, 0, file, line);
WITNESS_DOWNGRADE(&rw->lock_object, 0, file, line);
WITNESS_DOWNGRADE(&sx->lock_object, 0, file, line);