void ctl_rwlock_release_read_lock(CTL_RWLOCK_t *rwlock);
ctl_rwlock_release_read_lock releases a read lock held on the read-write lock rwlock. It is an error to release a read lock that is not held on a read-write lock.
ctl_rwlock_release_read_lock must not be called from an interrupt service routine.