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