5 typedef /*@integraltype@*/ dev_t
;
6 typedef /*@integraltype@*/ gid_t
;
7 typedef /*@unsignedintegraltype@*/ ino_t
; /*: is this definitely unsigned? */
8 typedef /*@integraltype@*/ mode_t
;
9 typedef /*@integraltype@*/ nlink_t
;
10 typedef /*@integraltype@*/ off_t
;
11 typedef /*@integraltype@*/ pid_t
;
12 typedef /*@integraltype@*/ uid_t
;
14 typedef /*@signedintegraltype@*/ suseconds_t
;
15 typedef /*@unsignedintegraltype@*/ useconds_t
;
18 typedef /*@integraltype@*/ blkcnt_t
;
19 typedef /*@integraltype@*/ blksize_t
;
21 typedef /*@integraltype@*/ clockid_t
;
22 typedef /*@unsignedintegraltype@*/ fsblkcnt_t
;
23 typedef /*@unsignedintegraltype@*/ fsfilcnt_t
;
24 typedef /*@integraltype@*/ id_t
;
26 typedef /*@integraltype@*/ key_t
;
27 typedef /*@integraltype@*/ timer_t
;
29 typedef /*@integraltype@*/ pthread_attr_t
;
30 typedef /*@integraltype@*/ pthread_cond_t
;
31 typedef /*@integraltype@*/ pthread_condattr_t
;
32 typedef /*@integraltype@*/ pthread_key_t
;
33 typedef /*@integraltype@*/ pthread_mutex_t
;
34 typedef /*@integraltype@*/ pthread_mutexattr_t
;
35 typedef /*@integraltype@*/ pthread_once_t
;
36 typedef /*@integraltype@*/ pthread_rwlock_t
;
37 typedef /*@integraltype@*/ pthread_rwlockattr_t
;
38 typedef /*@integraltype@*/ pthread_t
;