rw_destroy
rw_destroy(pthread_rwlock_t *lock) __requires_unlocked(*lock)
#define rw_destroy(lock) sx_destroy(lock)
#define rw_destroy(rw) \