#include <pthread.h>

    int
    pthread_attr_getname_np (
             const pthread_attr_t   *attr,
             char   *name,
             size_t   len,
             void   **mbz);