#include <pthread.h>

    int
    pthread_rwlock_destroy (
             pthread_rwlock_t   *rwlock);