_rw_lock_read_unlock_threads_locked
_rw_lock_read_unlock_threads_locked(lock);
static void _rw_lock_read_unlock_threads_locked(rw_lock* lock);
_rw_lock_read_unlock_threads_locked(from);