/* * rw_downgrade: * * Downgrade a write lock to a read lock. */