pollution: pthread
struct pthread; 

pollution: pthread
typedef struct pthread *pthread_t; 

pollution: state
int state; 

pollution: mutex
pthread_mutex_t mutex; 

pollution: cap_rights
struct cap_rights; 

pollution: cap_rights
typedef struct cap_rights cap_rights_t; 

pollution: asctime_r
char *asctime_r(const struct tm *, char *); 

pollution: ctime_r
char *ctime_r(const time_t *, char *); 

pollution: ts
pollution: base
int timespec_get(struct timespec *ts, int base); 

pollution: pthread
int pthread_getschedparam(pthread_t pthread, int * restrict, struct sched_param * restrict); 

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))