pollution: pthread
struct pthread; 

pollution: pthread_attr
struct pthread_attr; 

pollution: pthread_cond
struct pthread_cond; 

pollution: pthread_cond_attr
struct pthread_cond_attr; 

pollution: pthread_mutex
struct pthread_mutex; 

pollution: pthread_mutex_attr
struct pthread_mutex_attr; 

pollution: pthread_once
struct pthread_once; 

pollution: pthread_rwlock
struct pthread_rwlock; 

pollution: pthread_rwlockattr
struct pthread_rwlockattr; 

pollution: pthread_barrier
struct pthread_barrier; 

pollution: pthread_barrier_attr
struct pthread_barrier_attr; 

pollution: pthread_spinlock
struct pthread_spinlock; 

pollution: pthread
typedef struct pthread *pthread_t; 

pollution: pthread_attr
typedef struct pthread_attr *pthread_attr_t; 

pollution: pthread_mutex
typedef struct pthread_mutex *pthread_mutex_t; 

pollution: pthread_mutex_attr
typedef struct pthread_mutex_attr *pthread_mutexattr_t; 

pollution: pthread_cond
typedef struct pthread_cond *pthread_cond_t; 

pollution: pthread_cond_attr
typedef struct pthread_cond_attr *pthread_condattr_t; 

pollution: pthread_once
typedef struct pthread_once pthread_once_t; 

pollution: pthread_rwlock
typedef struct pthread_rwlock *pthread_rwlock_t; 

pollution: pthread_rwlockattr
typedef struct pthread_rwlockattr *pthread_rwlockattr_t; 

pollution: pthread_barrier
typedef struct pthread_barrier *pthread_barrier_t; 

pollution: pthread_barrierattr
typedef struct pthread_barrierattr *pthread_barrierattr_t; 

pollution: pthread_spinlock
typedef struct pthread_spinlock *pthread_spinlock_t; 

pollution: state
int state; 

pollution: mutex
pthread_mutex_t mutex; 

pollution: pthread_once
struct pthread_once { int state; pthread_mutex_t mutex; }; 

pollution: cap_rights
struct cap_rights; 

pollution: cap_rights
typedef struct cap_rights cap_rights_t; 

pollution: BIG_ENDIAN
#define BIG_ENDIAN _BIG_ENDIAN

pollution: BYTE_ORDER
#define BYTE_ORDER _BYTE_ORDER

pollution: LITTLE_ENDIAN
#define LITTLE_ENDIAN _LITTLE_ENDIAN

pollution: PDP_ENDIAN
#define PDP_ENDIAN _PDP_ENDIAN

pollution: be16toh
#define be16toh(x) __bswap16((x))

pollution: be32toh
#define be32toh(x) __bswap32((x))

pollution: be64toh
#define be64toh(x) __bswap64((x))

pollution: htobe16
#define htobe16(x) __bswap16((x))

pollution: htobe32
#define htobe32(x) __bswap32((x))

pollution: htobe64
#define htobe64(x) __bswap64((x))

pollution: htole16
#define htole16(x) ((uint16_t)(x))

pollution: htole32
#define htole32(x) ((uint32_t)(x))

pollution: htole64
#define htole64(x) ((uint64_t)(x))

pollution: le16toh
#define le16toh(x) ((uint16_t)(x))

pollution: le32toh
#define le32toh(x) ((uint32_t)(x))

pollution: le64toh
#define le64toh(x) ((uint64_t)(x))