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