MODULE PosixCsys_types ['sys/types.h']; (* generated by genposix.sh, do not modify *) IMPORT SYSTEM, PosixCtypes; TYPE char* = PosixCtypes.char; signed_char* = PosixCtypes.signed_char; unsigned_char* = PosixCtypes.unsigned_char; short* = PosixCtypes.short; short_int* = PosixCtypes.short_int; signed_short* = PosixCtypes.signed_short; signed_short_int* = PosixCtypes.signed_short_int; unsigned_short* = PosixCtypes.unsigned_short; unsigned_short_int* = PosixCtypes.unsigned_short_int; int* = PosixCtypes.int; signed* = PosixCtypes.signed; signed_int* = PosixCtypes.signed_int; unsigned* = PosixCtypes.unsigned; unsigned_int* = PosixCtypes.unsigned_int; long* = PosixCtypes.long; long_int* = PosixCtypes.long_int; signed_long* = PosixCtypes.signed_long; signed_long_int* = PosixCtypes.signed_long_int; unsigned_long* = PosixCtypes.unsigned_long; unsigned_long_int* = PosixCtypes.unsigned_long_int; long_long* = PosixCtypes.long_long; long_long_int* = PosixCtypes.long_long_int; signed_long_long* = PosixCtypes.signed_long_long; signed_long_long_int* = PosixCtypes.signed_long_long_int; unsigned_long_long* = PosixCtypes.unsigned_long_long; unsigned_long_long_int* = PosixCtypes.unsigned_long_long_int; float* = PosixCtypes.float; double* = PosixCtypes.double; long_double* = PosixCtypes.long_double; TYPE blkcnt_t* = LONGINT; blksize_t* = INTEGER; clock_t* = INTEGER; dev_t* = INTEGER; fsblkcnt_t* = INTEGER; fsfilcnt_t* = INTEGER; gid_t* = INTEGER; id_t* = INTEGER; ino_t* = INTEGER; key_t* = INTEGER; mode_t* = SHORTINT; nlink_t* = SHORTINT; off_t* = LONGINT; pid_t* = INTEGER; pthread_attr_t* = RECORD [noalign] _: ARRAY [untagged] 40 OF BYTE END; pthread_cond_t* = RECORD [noalign] _: ARRAY [untagged] 28 OF BYTE END; pthread_condattr_t* = RECORD [noalign] _: ARRAY [untagged] 8 OF BYTE END; pthread_key_t* = INTEGER; pthread_mutex_t* = RECORD [noalign] _: ARRAY [untagged] 44 OF BYTE END; pthread_mutexattr_t* = RECORD [noalign] _: ARRAY [untagged] 12 OF BYTE END; pthread_once_t* = RECORD [noalign] _: ARRAY [untagged] 8 OF BYTE END; pthread_rwlock_t* = RECORD [noalign] _: ARRAY [untagged] 128 OF BYTE END; pthread_rwlockattr_t* = RECORD [noalign] _: ARRAY [untagged] 16 OF BYTE END; pthread_t* = INTEGER; size_t* = INTEGER; ssize_t* = INTEGER; suseconds_t* = INTEGER; time_t* = INTEGER; uid_t* = INTEGER; END PosixCsys_types.