_rw_destroy
void _rw_destroy(volatile uintptr_t *c);
_rw_destroy(&(rw)->rw_lock)
_rw_destroy, __DEVOLATILE(void *, &(rw)->rw_lock))