#include <pthread.h>

    int
    pthread_rwlock_getname_np (
             pthread_rwlock_t   *rwlock,
             char   *name,
             size_t   len);