witness_downgrade
witness_downgrade((lock), (flags))
void witness_downgrade(struct lock_object *, int);