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: function_set_name
char function_set_name[32]; 

pollution: pcbcnt
uint32_t pcbcnt; 

pollution: tcp_function_set
struct tcp_function_set { char function_set_name[32]; uint32_t pcbcnt; }; 

pollution: timestamp
uint64_t timestamp; 

pollution: start
uint64_t start; 

pollution: end
uint64_t end; 

pollution: flags
uint32_t flags; 

pollution: tcp_snd_req
struct tcp_snd_req { uint64_t timestamp; uint64_t start; uint64_t end; uint32_t flags; }; 

pollution: tcp_snd_req
pollution: tcp_req
struct tcp_snd_req tcp_req; 

pollution: tcp_log_userdata
union tcp_log_userdata { struct tcp_snd_req tcp_req; }; 

pollution: type
uint32_t type; 

pollution: subtype
uint32_t subtype; 

pollution: tcp_log_userdata
pollution: data
union tcp_log_userdata data; 

pollution: tcp_log_user
struct tcp_log_user { uint32_t type; uint32_t subtype; union tcp_log_userdata data; }; 

pollution: tcp_snd_req
pollution: req
struct tcp_snd_req req; 

pollution: cspr
uint64_t cspr; 

pollution: hint_maxseg
uint32_t hint_maxseg; 

pollution: hybrid_flags
uint32_t hybrid_flags; 

pollution: tcp_hybrid_req
struct tcp_hybrid_req { struct tcp_snd_req req; uint64_t cspr; uint32_t hint_maxseg; uint32_t hybrid_flags; }; 

pollution: TLS_GET_RECORD
#define TLS_GET_RECORD 2

pollution: TLS_SET_RECORD_TYPE
#define TLS_SET_RECORD_TYPE 1

pollution: VOI_TCP_ACKLEN
#define VOI_TCP_ACKLEN 9

pollution: VOI_TCP_CALCFRWINDIFF
#define VOI_TCP_CALCFRWINDIFF 7

pollution: VOI_TCP_CSIG
#define VOI_TCP_CSIG 5

pollution: VOI_TCP_FRWIN
#define VOI_TCP_FRWIN 2

pollution: VOI_TCP_GPUT
#define VOI_TCP_GPUT 6

pollution: VOI_TCP_GPUT_ND
#define VOI_TCP_GPUT_ND 8

pollution: VOI_TCP_LCWIN
#define VOI_TCP_LCWIN 3

pollution: VOI_TCP_PATHRTT
#define VOI_TCP_PATHRTT 10

pollution: VOI_TCP_RETXPB
#define VOI_TCP_RETXPB 1

pollution: VOI_TCP_RTT
#define VOI_TCP_RTT 4

pollution: VOI_TCP_TXPB
#define VOI_TCP_TXPB 0

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