pthread_rwlock_destroy
pthread_rwlock_destroy(pthread_rwlock_t* lock)
void pthread_rwlock_destroy() {}