Function annotate_rwlock_released

pub fn annotate_rwlock_released(lock: *const (), is_writer_lock: bool)

Available on crate feature client_requests_defs only.

Report that the lock at address lock is about to be released

If is_writer_lock is true then it is a writer lock else it is a reader lock.

See also annotate_rwlock_create