BlackBox/_Linux_/Lin/Mod/Libc.txt

   1 MODULE LinLibc ["libc.so.6"];
   2
   3         (*
   4                 GNU/Linux (Ubuntu 17.10)
   5                 i386
   6         *)
   7
   8         CONST
   9                 NULL* = 0H;
  10                 FALSE* = 0;
  11                 TRUE* = 1;
  12
  13                 CLOCKS_PER_SEC* = 1000000;
  14
  15                 MAP_FAILED* = -1;
  16
  17                 (* MAP_PRIVATE, MAP_ANON (intFlags) *)
  18                 MAP_SHARED* = {0}; (* Share changes *)
  19                 MAP_PRIVATE* = {1}; (* Changes are private *)
  20                 MAP_TYPE* = {0..3}; (* Mask for type of mapping *)
  21                 MAP_FIXED* = {4}; (* Interpret addr exactly *)
  22                 MAP_ANONYMOUS* = {5}; (* don't use a file *)
  23                 MAP_FILE* = {};
  24                 MAP_HUGE_SHIFT* = {1,3,4};
  25                 MAP_HUGE_MASK* = {0..5};
  26                 MAP_ANON* = MAP_ANONYMOUS;
  27
  28
  29                 (* PROT_READ, PROT_WRITE, PROT_EXEC (intFlags) *)
  30                 PROT_READ* = {0}; (* page can be read *)
  31                 PROT_WRITE* = {1}; (* page can be written *)
  32                 PROT_EXEC* = {2}; (* page can be executed *)
  33                 PROT_SEM* = {3}; (* page may be used for atomic ops *)
  34                 PROT_NONE* = {}; (* page can not be accessed *)
  35                 PROT_GROWSDOWN* = {24}; (* mprotect flag: extend change to start of growsdown vma *)
  36                 PROT_GROWSUP* = {25}; (* mprotect flag: extend change to end of growsup vma *)
  37
  38
  39                 (* SIG_UNBLOCK, SIG_SETMASK (int) *)
  40                 SIG_BLOCK* = 0; (* for blocking signals *)
  41                 SIG_UNBLOCK* = 1; (* for unblocking signals *)
  42                 SIG_SETMASK* = 2; (* for setting the signal mask *)
  43
  44
  45                 (* FPE_INTDIV, FPE_INTOVF, FPE_FLTDIV, FPE_FLTOVF, FPE_FLTUND, FPE_FLTRES, FPE_FLTINV, FPE_FLTSUB (int) *)
  46                 FPE_INTDIV* = 1; (* integer divide by zero *)
  47                 FPE_INTOVF* = 2; (* integer overflow *)
  48                 FPE_FLTDIV* = 3; (* floating point divide by zero *)
  49                 FPE_FLTOVF* = 4; (* floating point overflow *)
  50                 FPE_FLTUND* = 5; (* floating point underflow *)
  51                 FPE_FLTRES* = 6; (* floating point inexact result *)
  52                 FPE_FLTINV* = 7; (* floating point invalid operation *)
  53                 FPE_FLTSUB* = 8; (* subscript out of range *)
  54
  55
  56                 (* SA_SIGINFO (intFlags) *)
  57                 SA_NOCLDSTOP* = {0};
  58                 SA_NOCLDWAIT* = {1};
  59                 SA_SIGINFO* = {2};
  60                 SA_ONSTACK* = {27};
  61                 SA_RESTART* = {28};
  62                 SA_NODEFER* = {30};
  63                 SA_RESETHAND* = {31};
  64
  65
  66                 (* SIGINT, SIGILL, SIGFPE, SIGSEGV, SIGKILL, SIGSTOP, SIGWINCH, SIGTHR (int) *)
  67                 SIGHUP* = 1;
  68                 SIGINT* = 2;
  69                 SIGQUIT* = 3;
  70                 SIGILL* = 4;
  71                 SIGTRAP* = 5;
  72                 SIGABRT* = 6;
  73                 SIGIOT* = 6;
  74                 SIGBUS* = 7;
  75                 SIGFPE* = 8;
  76                 SIGKILL* = 9;
  77                 SIGUSR1* = 10;
  78                 SIGSEGV* = 11;
  79                 SIGUSR2* = 12;
  80                 SIGPIPE* = 13;
  81                 SIGALRM* = 14;
  82                 SIGTERM* = 15;
  83                 SIGSTKFLT* = 16;
  84                 SIGCHLD* = 17;
  85                 SIGCONT* = 18;
  86                 SIGSTOP* = 19;
  87                 SIGTSTP* = 20;
  88                 SIGTTIN* = 21;
  89                 SIGTTOU* = 22;
  90                 SIGURG* = 23;
  91                 SIGXCPU* = 24;
  92                 SIGXFSZ* = 25;
  93                 SIGVTALRM* = 26;
  94                 SIGPROF* = 27;
  95                 SIGWINCH* = 28;
  96                 SIGIO* = 29;
  97                 SIGPOLL* = SIGIO;
  98                 SIGLOST* = 29;
  99                 SIGPWR* = 30;
 100                 SIGSYS* = 31;
 101                 SIGUNUSED* = 31;
 102                 SIGRTMIN* = 32;
 103
 104                 _NSIG* = 64;
 105
 106 (*
 107                 PAGE_SIZE* = 4096;
 108 *)
 109                 _SC_PAGESIZE* = 30;
 110
 111
 112                 SIGSTKSZ* = 8192;
 113
 114                 (* ENOENT, EEXIST, EACCES, ENOMEM, EDQUOT, EMFILE, ENOTDIR (int) *)
 115                 EPERM* = 1; (* Operation not permitted *)
 116                 ENOENT* = 2; (* No such file or directory *)
 117                 ESRCH* = 3; (* No such process *)
 118                 EINTR* = 4; (* Interrupted system call *)
 119                 EIO* = 5; (* I/O error *)
 120                 ENXIO* = 6; (* No such device or address *)
 121                 E2BIG* = 7; (* Argument list too long *)
 122                 ENOEXEC* = 8; (* Exec format error *)
 123                 EBADF* = 9; (* Bad file number *)
 124                 ECHILD* = 10; (* No child processes *)
 125                 EAGAIN* = 11; (* Try again *)
 126                 ENOMEM* = 12; (* Out of memory *)
 127                 EACCES* = 13; (* Permission denied *)
 128                 EFAULT* = 14; (* Bad address *)
 129                 ENOTBLK* = 15; (* Block device required *)
 130                 EBUSY* = 16; (* Device or resource busy *)
 131                 EEXIST* = 17; (* File exists *)
 132                 EXDEV* = 18; (* Cross-device link *)
 133                 ENODEV* = 19; (* No such device *)
 134                 ENOTDIR* = 20; (* Not a directory *)
 135                 EISDIR* = 21; (* Is a directory *)
 136                 EINVAL* = 22; (* Invalid argument *)
 137                 ENFILE* = 23; (* File table overflow *)
 138                 EMFILE* = 24; (* Too many open files *)
 139                 ENOTTY* = 25; (* Not a typewriter *)
 140                 ETXTBSY* = 26; (* Text file busy *)
 141                 EFBIG* = 27; (* File too large *)
 142                 ENOSPC* = 28; (* No space left on device *)
 143                 ESPIPE* = 29; (* Illegal seek *)
 144                 EROFS* = 30; (* Read-only file system *)
 145                 EMLINK* = 31; (* Too many links *)
 146                 EPIPE* = 32; (* Broken pipe *)
 147                 EDOM* = 33; (* Math argument out of domain of func *)
 148                 ERANGE* = 34; (* Math result not representable *)
 149                 EDEADLK* = 35; (* Resource deadlock would occur *)
 150                 ENAMETOOLONG* = 36; (* File name too long *)
 151                 ENOLCK* = 37; (* No record locks available *)
 152                 ENOSYS* = 38; (* Invalid system call number *)
 153                 ENOTEMPTY* = 39; (* Directory not empty *)
 154                 ELOOP* = 40; (* Too many symbolic links encountered *)
 155                 EWOULDBLOCK* = EAGAIN; (* Operation would block *)
 156                 ENOMSG* = 42; (* No message of desired type *)
 157                 EIDRM* = 43; (* Identifier removed *)
 158                 ECHRNG* = 44; (* Channel number out of range *)
 159                 EL2NSYNC* = 45; (* Level 2 not synchronized *)
 160                 EL3HLT* = 46; (* Level 3 halted *)
 161                 EL3RST* = 47; (* Level 3 reset *)
 162                 ELNRNG* = 48; (* Link number out of range *)
 163                 EUNATCH* = 49; (* Protocol driver not attached *)
 164                 ENOCSI* = 50; (* No CSI structure available *)
 165                 EL2HLT* = 51; (* Level 2 halted *)
 166                 EBADE* = 52; (* Invalid exchange *)
 167                 EBADR* = 53; (* Invalid request descriptor *)
 168                 EXFULL* = 54; (* Exchange full *)
 169                 ENOANO* = 55; (* No anode *)
 170                 EBADRQC* = 56; (* Invalid request code *)
 171                 EBADSLT* = 57; (* Invalid slot *)
 172                 EDEADLOCK* = EDEADLK;
 173                 EBFONT* = 59; (* Bad font file format *)
 174                 ENOSTR* = 60; (* Device not a stream *)
 175                 ENODATA* = 61; (* No data available *)
 176                 ETIME* = 62; (* Timer expired *)
 177                 ENOSR* = 63; (* Out of streams resources *)
 178                 ENONET* = 64; (* Machine is not on the network *)
 179                 ENOPKG* = 65; (* Package not installed *)
 180                 EREMOTE* = 66; (* Object is remote *)
 181                 ENOLINK* = 67; (* Link has been severed *)
 182                 EADV* = 68; (* Advertise error *)
 183                 ESRMNT* = 69; (* Srmount error *)
 184                 ECOMM* = 70; (* Communication error on send *)
 185                 EPROTO* = 71; (* Protocol error *)
 186                 EMULTIHOP* = 72; (* Multihop attempted *)
 187                 EDOTDOT* = 73; (* RFS specific error *)
 188                 EBADMSG* = 74; (* Not a data message *)
 189                 EOVERFLOW* = 75; (* Value too large for defined data type *)
 190                 ENOTUNIQ* = 76; (* Name not unique on network *)
 191                 EBADFD* = 77; (* File descriptor in bad state *)
 192                 EREMCHG* = 78; (* Remote address changed *)
 193                 ELIBACC* = 79; (* Can not access a needed shared library *)
 194                 ELIBBAD* = 80; (* Accessing a corrupted shared library *)
 195                 ELIBSCN* = 81; (* .lib section in a.out corrupted *)
 196                 ELIBMAX* = 82; (* Attempting to link in too many shared libraries *)
 197                 ELIBEXEC* = 83; (* Cannot exec a shared library directly *)
 198                 EILSEQ* = 84; (* Illegal byte sequence *)
 199                 ERESTART* = 85; (* Interrupted system call should be restarted *)
 200                 ESTRPIPE* = 86; (* Streams pipe error *)
 201                 EUSERS* = 87; (* Too many users *)
 202                 ENOTSOCK* = 88; (* Socket operation on non-socket *)
 203                 EDESTADDRREQ* = 89; (* Destination address required *)
 204                 EMSGSIZE* = 90; (* Message too long *)
 205                 EPROTOTYPE* = 91; (* Protocol wrong type for socket *)
 206                 ENOPROTOOPT* = 92; (* Protocol not available *)
 207                 EPROTONOSUPPORT* = 93; (* Protocol not supported *)
 208                 ESOCKTNOSUPPORT* = 94; (* Socket type not supported *)
 209                 EOPNOTSUPP* = 95; (* Operation not supported on transport endpoint *)
 210                 EPFNOSUPPORT* = 96; (* Protocol family not supported *)
 211                 EAFNOSUPPORT* = 97; (* Address family not supported by protocol *)
 212                 EADDRINUSE* = 98; (* Address already in use *)
 213                 EADDRNOTAVAIL* = 99; (* Cannot assign requested address *)
 214                 ENETDOWN* = 100; (* Network is down *)
 215                 ENETUNREACH* = 101; (* Network is unreachable *)
 216                 ENETRESET* = 102; (* Network dropped connection because of reset *)
 217                 ECONNABORTED* = 103; (* Software caused connection abort *)
 218                 ECONNRESET* = 104; (* Connection reset by peer *)
 219                 ENOBUFS* = 105; (* No buffer space available *)
 220                 EISCONN* = 106; (* Transport endpoint is already connected *)
 221                 ENOTCONN* = 107; (* Transport endpoint is not connected *)
 222                 ESHUTDOWN* = 108; (* Cannot send after transport endpoint shutdown *)
 223                 ETOOMANYREFS* = 109; (* Too many references: cannot splice *)
 224                 ETIMEDOUT* = 110; (* Connection timed out *)
 225                 ECONNREFUSED* = 111; (* Connection refused *)
 226                 EHOSTDOWN* = 112; (* Host is down *)
 227                 EHOSTUNREACH* = 113; (* No route to host *)
 228                 EALREADY* = 114; (* Operation already in progress *)
 229                 EINPROGRESS* = 115; (* Operation now in progress *)
 230                 ESTALE* = 116; (* Stale file handle *)
 231                 EUCLEAN* = 117; (* Structure needs cleaning *)
 232                 ENOTNAM* = 118; (* Not a XENIX named type file *)
 233                 ENAVAIL* = 119; (* No XENIX semaphores available *)
 234                 EISNAM* = 120; (* Is a named type file *)
 235                 EREMOTEIO* = 121; (* Remote I/O error *)
 236                 EDQUOT* = 122; (* Quota exceeded *)
 237                 ENOMEDIUM* = 123; (* No medium found *)
 238                 EMEDIUMTYPE* = 124; (* Wrong medium type *)
 239                 ECANCELED* = 125; (* Operation Canceled *)
 240                 ENOKEY* = 126; (* Required key not available *)
 241                 EKEYEXPIRED* = 127; (* Key has expired *)
 242                 EKEYREVOKED* = 128; (* Key has been revoked *)
 243                 EKEYREJECTED* = 129; (* Key was rejected by service *)
 244                 EOWNERDEAD* = 130; (* Owner died *)
 245                 ENOTRECOVERABLE* = 131; (* State not recoverable *)
 246                 ERFKILL* = 132; (* Operation not possible due to RF-kill *)
 247                 EHWPOISON* = 133; (* Memory page has hardware error *)
 248
 249
 250                 WAIT_ANY* = -1;
 251                 WCONTINUED* = {3};
 252                 WNOHANG* = {0};
 253                 WUNTRACED* = {1};
 254
 255
 256                 NAME_MAX* = 255;
 257
 258                 SEEK_SET* = 0;
 259                 SEEK_CUR* = 1;
 260                 SEEK_END* = 2;
 261
 262                 STDIN_FILENO* = 0;
 263                 STDOUT_FILENO* = 1;
 264                 STDERR_FILENO* = 2;
 265
 266                 P_tmpdir* = "/tmp";
 267
 268                 (* O_RDWR, O_NONBLOCK (intFlags) *)
 269                 O_ACCMODE* = {0,1};
 270                 O_RDONLY* = {};
 271                 O_WRONLY* = {0};
 272                 O_RDWR* = {1};
 273                 O_CREAT* = {6}; (* not fcntl *)
 274                 O_EXCL* = {7}; (* not fcntl *)
 275                 O_NOCTTY* = {8}; (* not fcntl *)
 276                 O_TRUNC* = {9}; (* not fcntl *)
 277                 O_APPEND* = {10};
 278                 O_NONBLOCK* = {11};
 279                 O_DSYNC* = {12}; (* used to be O_SYNC, see below *)
 280                 O_DIRECT* = {14}; (* direct disk access hint *)
 281                 O_LARGEFILE* = {15};
 282                 O_DIRECTORY* = {16}; (* must be a directory *)
 283                 O_NOFOLLOW* = {17}; (* don't follow links *)
 284                 O_NOATIME* = {18};
 285                 O_CLOEXEC* = {19}; (* set close_on_exec *)
 286                 O_PATH* = {21};
 287
 288
 289                 CLOCK_REALTIME* = 0;
 290                 CLOCK_MONOTONIC* = 1;
 291                 CLOCK_PROCESS_CPUTIME_ID* = 2;
 292                 CLOCK_THREAD_CPUTIME_ID* = 3;
 293                 CLOCK_MONOTONIC_RAW* = 4;
 294                 CLOCK_REALTIME_COARSE* = 5;
 295                 CLOCK_MONOTONIC_COARSE* = 6;
 296                 CLOCK_BOOTTIME* = 7;
 297                 CLOCK_REALTIME_ALARM* = 8;
 298                 CLOCK_BOOTTIME_ALARM* = 9;
 299                 CLOCK_SGI_CYCLE* = 10;
 300                 CLOCK_TAI* = 11;
 301
 302
 303         TYPE
 304                 StrArray* = POINTER TO ARRAY [untagged] OF PtrSTR;
 305                 PtrSTR* = POINTER TO ARRAY [untagged] OF SHORTCHAR;
 306
 307                 (* PtrVoid, int, long, size_t, ssize_t, off_t, time_t, clock_t, sigjmp_buf *)
 308                 (* mode_t, intFlags, sigset_t (set) *)
 309                 PtrVoid* = INTEGER;
 310                 int* = INTEGER;
 311                 long* = INTEGER;
 312                 ulong* = INTEGER;
 313                 size_t* = INTEGER;
 314                 ssize_t* = INTEGER;
 315                 off_t* = INTEGER;
 316                 clock_t* = INTEGER;
 317                 clockid_t* = INTEGER;
 318                 time_t* = INTEGER;
 319                 mode_t* = SET;
 320                 pid_t* = INTEGER;
 321                 uid_t* = INTEGER;
 322                 gid_t* = INTEGER;
 323                 dev_t* = LONGINT;
 324                 ino_t* = INTEGER;
 325                 nlink_t* = INTEGER;
 326                 blkcnt_t = INTEGER;
 327                 blksize_t = INTEGER;
 328                 int8_t* = SHORTCHAR;
 329                 u_int8_t* = SHORTCHAR;
 330                 int16_t* = SHORTINT;
 331                 u_int16_t* = SHORTINT;
 332                 int32_t* = INTEGER;
 333                 u_int32_t* = INTEGER;
 334                 int64_t* = LONGINT;
 335                 u_int64_t* = LONGINT;
 336                 wchar_t* = INTEGER;
 337                 sigjmp_buf* = ARRAY [untagged] 39 OF INTEGER;
 338                 intFlags* = SET;
 339                 FILE = ARRAY [untagged] 37 OF INTEGER;
 340                 sigset_t* = ARRAY [untagged] 128 OF BYTE;
 341                 PtrSigset_t* = POINTER [untagged] TO sigset_t;
 342
 343
 344                 tm* = POINTER TO tmDesc;
 345                 tmDesc* = RECORD [untagged]
 346                         (* NOTE: check record size *)
 347                         (* tm_year, tm_mon, tm_mday, tm_hour, tm_min, tm_sec, tm_wday [ , tm_gmtoff ] *)
 348                         (* Ubuntu 17.10 /usr/include/i386-linux-gnu/bits/types/struct_tm.h: *)
 349                                 tm_sec*: int; (* Seconds.     [0-60] (1 leap second) *)
 350                                 tm_min*: int; (* Minutes.     [0-59] *)
 351                                 tm_hour*: int; (* Hours.       [0-23] *)
 352                                 tm_mday*: int; (* Day.         [1-31] *)
 353                                 tm_mon*: int; (* Month.       [0-11] *)
 354                                 tm_year*: int; (* Year - 1900.  *)
 355                                 tm_wday*: int; (* Day of week. [0-6] *)
 356                                 tm_yday*: int; (* Days in year.[0-365] *)
 357                                 tm_isdst*: int; (* DST.         [-1/0/1] *)
 358
 359                                 tm_gmtoff*: int; (* long int *) (* Seconds east of UTC *)
 360                                 tm_zone*: PtrSTR; (* Timezone abbreviation *)
 361                 END;
 362
 363                 Ptrsiginfo_t* = POINTER TO siginfo_t;
 364                 siginfo_t = RECORD [untagged]
 365                         (* si_code, fault address *)
 366                         (* Ubuntu 17.10 /usr/include/i386-linux-gnu/bits/types/siginfo_t.h: *)
 367                                 si_signo*: int;         (* Signal number *)
 368                                 si_errno*: int;         (* An errno value *)
 369                                 si_code*: int;          (* Signal code *)
 370
 371                                 _sifields*: RECORD [union]
 372                                         _pad: ARRAY [untagged] 29 OF int;
 373                                         _kill*: RECORD [untagged]
 374                                                 si_pid*: pid_t;
 375                                                 si_uid*: uid_t
 376                                         END;
 377                                         _timer*: RECORD [untagged]
 378                                                 si_tid*: int;
 379                                                 si_overrun*: int;
 380                                                 si_sigval*: sigval_t
 381                                         END;
 382                                         _rt*: RECORD [untagged]
 383                                                 si_pid*: pid_t;
 384                                                 si_uid*: uid_t;
 385                                                 si_sigval*: sigval_t
 386                                         END;
 387                                         _sigchild*: RECORD [untagged]
 388                                                 si_pid: pid_t;
 389                                                 si_uid*: uid_t;
 390                                                 si_status*: int;
 391                                                 si_utime*: clock_t;
 392                                                 si_stime*: clock_t
 393                                         END;
 394                                         _sigfault*: RECORD [untagged]
 395                                                 si_addr*: PtrVoid;
 396                                                 si_addr_lsb*: SHORTINT;
 397                                                 _bounds*: RECORD [union]
 398                                                         _addr_bnd*: RECORD [untagged]
 399                                                                 _lower*: PtrVoid;
 400                                                                 _upper*: PtrVoid
 401                                                         END;
 402                                                         _pkey: INTEGER
 403                                                 END
 404                                         END;
 405                                         _sigpoll: RECORD [untagged]
 406                                                 si_band*: int; (* long int *);
 407                                                 si_fd*: int
 408                                         END;
 409                                         _sigsys*: RECORD [untagged]
 410                                                 _call_addr*: PtrVoid;
 411                                                 _syscall*: int;
 412                                                 _arch*: int (* unsigned int *)
 413                                         END
 414                                 END;
 415                 END;
 416
 417                 Ptrucontext_t* = POINTER TO ucontext_t;
 418                 ucontext_t = RECORD [untagged]
 419                         (* IP, SP, FP *)
 420                                 uc_flags*: INTEGER;     (* unsigned long int *)
 421                                 uc_link*: Ptrucontext_t;
 422                                 uc_stack*: stack_t;
 423                                 uc_mcontext*: RECORD [untagged] (* mcontext_t *)
 424                                         gregs*: gregset_t;
 425                                         fpregs*: fpregset_t;
 426                                         oldmask*: INTEGER; (* unsigned long int *)
 427                                         cr2*: INTEGER; (* unsigned long int *)
 428                                 END;
 429                                 uc_sigmask: sigset_t;
 430                                 __fpregs_mem*: fpstate;
 431
 432                 END;
 433
 434                 sigaction_t* = RECORD [untagged]
 435 (*
 436                         sa_sigaction*: PROCEDURE [ccall] (sig: INTEGER; siginfo: Ptrsiginfo_t; context: Ptrucontext_t),
 437                         sa_flags*: intFlags, sa_mask*: sigset_t
 438 *)
 439                         (* Ubuntu 17.10 /usr/include/i386-linux-gnu/asm/signal.h, /usr/include/i386-linux-gnu/bits/sigaction.h *)
 440                                 sa_sigaction*: PROCEDURE [ccall] (sig: INTEGER; siginfo: Ptrsiginfo_t; ptr: Ptrucontext_t); (* union with sa_handler*: PtrProc;*)
 441                                 sa_mask*: sigset_t;
 442                                 sa_flags*: intFlags;
 443                                 sa_restorer*: PROCEDURE [ccall];
 444                 END;
 445
 446                 stack_t* = RECORD [untagged]
 447 (*
 448                         ss_sp*: PtrVoid, ss_size*: size_t, ss_flags*: intFlags
 449 *)
 450                         (* Ubuntu 17.10 /usr/include/i386-linux-gnu/bits/types/stack_t.h: *)
 451                                 ss_sp*: PtrVoid;
 452                                 ss_flags*: intFlags;
 453                                 ss_size*: size_t;
 454                 END;
 455
 456                 stat_t* = RECORD [untagged]
 457 (*
 458                         NOTE: check record size
 459                         st_mode*: mode_t, st_size*: off_t, st_mtime*: time_t
 460 *)
 461                         (* Ubuntu 17.10 /usr/include/i386-linux-gnu/bits/stat.h: *)
 462                                 st_dev*: dev_t;
 463                                 __pad1: SHORTINT;
 464                                 st_ino*: ino_t;
 465                                 st_mode*: mode_t;
 466                                 st_nlink*: nlink_t;
 467                                 st_uid*: uid_t;
 468                                 st_gid*: gid_t;
 469                                 st_rdev*: dev_t;
 470                                 __pad2: SHORTINT;
 471                                 st_size*: off_t;
 472                                 st_blksize*: blksize_t;
 473                                 st_blocks*: blkcnt_t;
 474                                 st_atim*: timespec_t;
 475                                 st_mtim*: timespec_t;
 476                                 st_ctim*: timespec_t;
 477                                 __glibc_reserved4: INTEGER; (* long int *)
 478                                 __glibc_reserved5: INTEGER; (* long int *)
 479                 END;
 480
 481                 PtrFILE* = PtrVoid;
 482                 PtrDIR* = PtrVoid;
 483
 484                 PtrDirent* = POINTER TO Dirent;
 485                 Dirent = RECORD [untagged]
 486 (*
 487                         d_name*: ARRAY [untagged] NAME_MAX + 1 OF SHORTCHAR
 488 *)
 489                         (* Ubuntu 17.10 /usr/include/i386-linux-gnu/bits/dirent.h: *)
 490                                 d_ino*: ino_t; (* inode number *)
 491                                 d_off*: off_t; (* offset to this dirent *)
 492                                 d_reclen*: SHORTINT; (* length of this d_name *)
 493                                 d_type*: BYTE;
 494                                 d_name*: ARRAY [untagged] 256 OF SHORTCHAR;
 495                 END;
 496
 497                 timespec_t* = RECORD [untagged]
 498                         (* Ubuntu 17.10 /usr/include/i386-linux-gnu/bits/types/struct_timespec.h: *)
 499                                 tv_sec*: time_t;
 500                                 tv_nsec*: INTEGER;
 501                 END;
 502
 503 (*
 504         VAR
 505                 stdin*: INTEGER;
 506                 timezone*: INTEGER; (* or tm.tm_gmtoff *)
 507 *)
 508 (*
 509         PROCEDURE [ccall] __errno_location* (): PtrVoid;
 510 *)
 511 (*
 512         (* POSIX.1 *)
 513                 PROCEDURE [ccall] stat* (path: PtrSTR; VAR sp: stat_t): int;
 514 *)
 515         TYPE
 516                 (* Ubuntu 17.10 /usr/include/i386-linux-gnu/bits/types/sigval_t.h: *)
 517                         sigval_t* = RECORD [union]
 518                                 sival_int*: int;
 519                                 sival_ptr*: PtrVoid
 520                         END;
 521
 522                 (* Ubuntu 17.10 /usr/include/i386-linux-gnu/sys/ucontext.h: *)
 523                         greg_t* = int;
 524                         gregset_t* = ARRAY [untagged] 19 OF greg_t;
 525                         fpregset_t* = POINTER [untagged] TO fpstate;
 526                         fpreg* = RECORD [untagged]
 527                                 significand*: ARRAY [untagged] 4 OF SHORTINT; (* unsigned short int *)
 528                                 exponent*: SHORTINT; (* unsigned short int *)
 529                         END;
 530                         fpstate* = RECORD [untagged]
 531                                 cw*: INTEGER; (* unsigned long int *)
 532                                 sw*: INTEGER; (* unsigned long int *)
 533                                 tag*: INTEGER; (* unsigned long int *)
 534                                 ipoff*: INTEGER; (* unsigned long int *)
 535                                 cssel*: INTEGER; (* unsigned long int *)
 536                                 dataoff*: INTEGER; (* unsigned long int *)
 537                                 datasel*: INTEGER; (* unsigned long int *)
 538                                 _st: ARRAY [untagged] 8 OF fpreg;
 539                                 status*: INTEGER; (* unsigned long int *)
 540                         END;
 541
 542         VAR
 543                 timezone*: INTEGER; (* seconds from GMT *)
 544 (*
 545                 stdin*, stdout*, stderr* : PtrFILE;
 546 *)
 547
 548         PROCEDURE [ccall] __errno_location*(): INTEGER;
 549
 550         PROCEDURE [ccall] __xstat* (version: INTEGER; filename: PtrSTR; VAR buf: stat_t): INTEGER;
 551
 552         PROCEDURE [ccall] sigsetjmp* ["__sigsetjmp"] (VAR env: sigjmp_buf; savemask: int): int;
 553
 554
 555         (* ANSI C 89 *)
 556                 PROCEDURE [ccall] clock* (): clock_t;
 557
 558         (* POSIX.1 *)
 559                 PROCEDURE [ccall] clock_gettime* (clock_id: clockid_t; VAR tp: timespec_t): int;
 560
 561         PROCEDURE [ccall] mmap* (adr: PtrVoid; len: size_t; prot: intFlags; flags: intFlags; fd: int; offset: off_t): PtrVoid;
 562         (* BSD *)
 563                 PROCEDURE [ccall] munmap* (adr: PtrVoid; len: size_t): int;
 564                 PROCEDURE [ccall] mprotect* (adr: PtrVoid; len: size_t; prot: intFlags): int;
 565
 566 (*
 567         PROCEDURE [ccall] calloc* (nmemb: size_t; size: size_t): PtrVoid;
 568         (* ANSI C 89 *)
 569                 PROCEDURE [ccall] malloc* (size: size_t): PtrVoid;
 570 *)
 571                 PROCEDURE [ccall] free* (ptr: PtrVoid);
 572
 573         (* AT&T *)
 574                 PROCEDURE [ccall] time* (VAR [nil] t: time_t): time_t;
 575         PROCEDURE [ccall] gmtime* (VAR [nil] t: time_t): tm;
 576         PROCEDURE [ccall] localtime* (VAR [nil] t: time_t): tm;
 577
 578         (* POSIX.1 *)
 579 (*
 580                 PROCEDURE [ccall] sigsetjmp* (VAR env: sigjmp_buf; savemask: int): int;
 581 *)
 582                 PROCEDURE [ccall] siglongjmp* (VAR env: sigjmp_buf; val: int);
 583
 584         (* POSIX.1 *)
 585                 PROCEDURE [ccall] sigemptyset* (set: PtrSigset_t): int;
 586                 PROCEDURE [ccall] sigfillset* (set: PtrSigset_t): int;
 587                 PROCEDURE [ccall] sigaddset* (set: PtrSigset_t; signo: int): int;
 588                 PROCEDURE [ccall] sigprocmask* (how: int; set: PtrSigset_t; oset: PtrSigset_t): int;
 589
 590         (* POSIX.1 *)
 591                 PROCEDURE [ccall] sigaction* (sig: int; VAR [nil] act: sigaction_t; VAR [nil] oact: sigaction_t): int;
 592
 593         (* BSD *)
 594                 PROCEDURE [ccall] sigaltstack* (VAR [nil] ss: stack_t; VAR [nil] oss: stack_t): int;
 595
 596         (* ANSI C 89 *)
 597                 PROCEDURE [ccall] getenv* (s: PtrSTR): PtrSTR;
 598
 599         (* ANSI C 89 *)
 600                 PROCEDURE [ccall] fopen* (path, mode: PtrSTR): PtrFILE;
 601                 PROCEDURE [ccall] fdopen* (fildes: int; mode: PtrSTR): PtrFILE;
 602                 PROCEDURE [ccall] fclose* (stream: PtrFILE): int;
 603                 PROCEDURE [ccall] fread* (ptr: PtrVoid; size: size_t; nmemb: size_t; stream: PtrFILE): size_t;
 604                 PROCEDURE [ccall] fwrite* (ptr: PtrVoid; size: size_t; nmemb: size_t; stream: PtrFILE): size_t;
 605                 PROCEDURE [ccall] fflush* (s: PtrFILE): int;
 606                 PROCEDURE [ccall] printf* (s: PtrSTR): int;
 607         (* ANSI C 89, XPG4 *)
 608                 PROCEDURE [ccall] fseek* (stream: PtrFILE; offset: long; whence: int): int;
 609
 610         (* POSIX.1 *)
 611                 PROCEDURE [ccall] fileno* (stream: PtrFILE): int;
 612
 613         (* POSIX.1 *)
 614                 PROCEDURE [ccall] rename* (from, to: PtrSTR): int;
 615                 PROCEDURE [ccall] mkdir* (path: PtrSTR; mode: mode_t): int;
 616                 PROCEDURE [ccall] opendir* (filename: PtrSTR): PtrDIR;
 617                 PROCEDURE [ccall] readdir* (dirp: PtrDIR): PtrDirent;
 618                 PROCEDURE [ccall] closedir* (dirp: PtrDIR): int;
 619         (* ANSI C 89, XPG4.2 *)
 620                 PROCEDURE [ccall] remove* (path: PtrSTR): int;
 621
 622         (* POSIX.1 *)
 623                 PROCEDURE [ccall] getcwd* (buf: PtrSTR; size: size_t): PtrSTR;
 624
 625         (* ANSI C 99 *)
 626                 PROCEDURE [ccall] exit* (status: int);
 627
 628         (* ANSI C 89 *)
 629                 PROCEDURE [ccall] strftime* (buf: PtrSTR; maxsize: size_t; format: PtrSTR; timeptr: tm): size_t;
 630
 631         (* XXX: use fread instead *)
 632                 PROCEDURE [ccall] fgets* (str: PtrSTR; size: int; stream: PtrFILE): PtrSTR;
 633
 634         (* POSIX.1 *)
 635                 PROCEDURE [ccall] open* (path: PtrSTR; flags: intFlags; mode: mode_t): int;
 636                 PROCEDURE [ccall] write* (d: int; buf: PtrVoid; nbytes: size_t): ssize_t;
 637                 PROCEDURE [ccall] read* (d: int; buf: PtrVoid; nbytes: size_t): ssize_t;
 638                 PROCEDURE [ccall] close* (d: int): int;
 639                 PROCEDURE [ccall] lseek* (d: int; offset: off_t; whence: int): off_t;
 640
 641         (* POSIX.1 *)
 642                 PROCEDURE [ccall] chmod* (path: PtrSTR; mode: mode_t): int;
 643                 PROCEDURE [ccall] fchmod* (fd: int; mode: mode_t): int;
 644
 645         (* POSIX.1 *)
 646                 PROCEDURE [ccall] fork* (): pid_t;
 647                 PROCEDURE [ccall] waitpid* (wpid: pid_t; VAR [nil] status: int; options: intFlags): pid_t;
 648
 649         (* POSIX.1 *)
 650                 PROCEDURE [ccall] execv* (path: PtrSTR; argv: POINTER [untagged] TO ARRAY [untagged] OF PtrSTR): int;
 651                 PROCEDURE [ccall] execvp* (file: PtrSTR; argv: POINTER [untagged] TO ARRAY [untagged] OF PtrSTR): int;
 652
 653         (* POSIX.2 *)
 654                 PROCEDURE [ccall] system* (string: PtrSTR): int;
 655
 656         (* POSIX.1 *)
 657                 PROCEDURE [ccall] sysconf* (name: int): long;
 658
 659         PROCEDURE [ccall] popen* (command, type: PtrSTR): PtrFILE;
 660         PROCEDURE [ccall] pclose* (stream: PtrFILE): int;
 661
 662 END LinLibc.