index c6e699dbc162257003a413417648970c4e321e42..325b6fd6a98a20e102648e8c1f936a25cafc25fa 100644 (file)
MODULE LinLibc ["libc.so.66.0"];
(*
- A. V. Shiryaev, 2012.11
-
- Based on Linux' LinLibc (OpenBUGS Lin/Mod/Libc.odc)
-
OpenBSD 5.2
- 32-bit
+ i386
*)
- IMPORT SYSTEM;
-
CONST
NULL* = 0H;
- TRUE* = 1;
FALSE* = 0;
+ TRUE* = 1;
- (* file constants *)
- SEEK_SET* = 0;
- SEEK_CUR* = 1;
- SEEK_END* = 2;
- NAME_MAX* = 255; (* OpenBSD /usr/include/sys/syslimits.h *)
+ CLOCKS_PER_SEC* = 100;
- (* The value of CLOCKS_PER_SEC is required to be 1 million on all XSI-conformant systems.*)
- CLOCKS_PER_SEC* = 100; (* OpenBSD 5.2 /usr/include/time.h CLOCKS_PER_SEC *)
+ MAP_FAILED* = -1;
- (* temp directory defined in stdio.h *)
- P_tmpdir* = "/tmp";
+ (* MAP_PRIVATE, MAP_ANON (intFlags) *)
+ MAP_SHARED* = {0}; (* share changes *)
+ MAP_PRIVATE* = {1}; (* changes are private *)
+ MAP_COPY* = {2}; (* "copy" region at mmap time *)
+ MAP_FIXED* = {4}; (* map addr must be exactly as requested *)
+ MAP_RENAME* = {5}; (* Sun: rename private pages to file *)
+ MAP_NORESERVE* = {6}; (* Sun: don't reserve needed swap area *)
+ MAP_INHERIT* = {7}; (* region is retained after exec *)
+ MAP_NOEXTEND* = {8}; (* for MAP_FILE, don't change file size *)
+ MAP_HASSEMAPHORE* = {9}; (* region may contain semaphores *)
+ MAP_TRYFIXED* = {10}; (* attempt hint address, even within heap *)
+ MAP_FILE* = {}; (* map from file (default) *)
+ MAP_ANON* = {12}; (* allocated from memory, swap space *)
+ MAP_FLAGMASK* = {0..2,4..12};
+ MAP_INHERIT_SHARE* = {}; (* share with child *)
+ MAP_INHERIT_COPY* = {0}; (* copy into child *)
+ MAP_INHERIT_NONE* = {1}; (* absent from child *)
+
+
+ (* PROT_READ, PROT_WRITE, PROT_EXEC (intFlags) *)
+ PROT_NONE* = {}; (* no permissions *)
+ PROT_READ* = {0}; (* pages can be read *)
+ PROT_WRITE* = {1}; (* pages can be written *)
+ PROT_EXEC* = {2}; (* pages can be executed *)
+
+
+ (* SIG_UNBLOCK, SIG_SETMASK (int) *)
+ SIG_BLOCK* = 1; (* block specified signal set *)
+ SIG_UNBLOCK* = 2; (* unblock specified signal set *)
+ SIG_SETMASK* = 3; (* set specified signal set *)
+
+
+ (* FPE_INTDIV, FPE_INTOVF, FPE_FLTDIV, FPE_FLTOVF, FPE_FLTUND, FPE_FLTRES, FPE_FLTINV, FPE_FLTSUB (int) *)
+ FPE_INTDIV* = 1; (* integer divide by zero *)
+ FPE_INTOVF* = 2; (* integer overflow *)
+ FPE_FLTDIV* = 3; (* floating point divide by zero *)
+ FPE_FLTOVF* = 4; (* floating point overflow *)
+ FPE_FLTUND* = 5; (* floating point underflow *)
+ FPE_FLTRES* = 6; (* floating point inexact result *)
+ FPE_FLTINV* = 7; (* invalid floating point operation *)
+ FPE_FLTSUB* = 8; (* subscript out of range *)
+
+
+ (* SA_SIGINFO (intFlags) *)
+ SA_NOCLDSTOP* = {3}; (* do not generate SIGCHLD on child stop *)
+ SA_ONSTACK* = {0}; (* take signal on signal stack *)
+ SA_RESTART* = {1}; (* restart system on signal return *)
+ SA_RESETHAND* = {2}; (* reset to SIG_DFL when taking signal *)
+ SA_NODEFER* = {4}; (* don't mask the signal we're delivering *)
+ SA_NOCLDWAIT* = {5}; (* don't create zombies (assign to pid 1) *)
+ SA_SIGINFO* = {6}; (* generate siginfo_t *)
- (* signal constants *) (* Fake signal functions. *)
- (* OpenBSD 5.2 /usr/include/sys/signal.h *)
- SIG_ERR* = -1; (* Error return. *)
- SIG_DFL* = 0; (* Default action. *)
- SIG_IGN* = 1; (* Ignore signal. *)
- SIG_HOLD* = 3; (* Add signal to hold mask. *) (* OpenBSD 5.2 /usr/include/sys/signalvar.h *)
- (* Signals. *)
- (* OpenBSD /usr/include/sys/signal.h *)
- _NSIG* = 33; (* counting 0 (mask is 1-32) *)
+ (* SIGINT, SIGILL, SIGFPE, SIGSEGV, SIGKILL, SIGSTOP, SIGWINCH, SIGTHR (int) *)
SIGHUP* = 1; (* hangup *)
SIGINT* = 2; (* interrupt *)
SIGQUIT* = 3; (* quit *)
SIGWINCH* = 28; (* window size changes *)
SIGTHR* = 32; (* thread library AST *)
- (* Bits in `sa_flags'. *)
- SA_NOCLDSTOP* = {3}; (* do not generate SIGCHLD on child stop *)
- SA_ONSTACK* = {0}; (* take signal on signal stack *)
- SA_RESTART* = {1}; (* restart system on signal return *)
- SA_RESETHAND* = {2}; (* reset to SIG_DFL when taking signal *)
- SA_NODEFER* = {4}; (* don't mask the signal we're delivering *)
- SA_NOCLDWAIT* = {5}; (* don't create zombies (assign to pid 1) *)
- SA_SIGINFO* = {6}; (* generate siginfo_t *)
+ _NSIG* = 33;
- (* Some aliases for the SA_ constants. *)
(*
- SA_NOMASK* = SA_NODEFER;
- SA_ONESHOT* = SA_RESETHAND;
- SA_STACK* = SA_ONSTACK;
+ PAGE_SIZE* = 4096;
*)
-
- (* code values for siginfo_t.si_code *)
- (* OpenBSD /usr/include/sys/siginfo.h *)
- FPE_INTDIV* = 1; (* integer divide by zero *)
- FPE_INTOVF* = 2; (* integer overflow *)
- FPE_FLTDIV* = 3; (* floating point divide by zero *)
- FPE_FLTOVF* = 4; (* floating point overflow *)
- FPE_FLTUND* = 5; (* floating point underflow *)
- FPE_FLTRES* = 6; (* floating point inexact result *)
- FPE_FLTINV* = 7; (* invalid floating point operation *)
- FPE_FLTSUB* = 8; (* subscript out of range *)
- ILL_ILLOPC* = 1; (* illegal opcode *)
- ILL_ILLOPN* = 2; (* illegal operand *)
- ILL_ILLADR* = 3; (* illegal addressing mode *)
- ILL_ILLTRP* = 4; (* illegal trap *)
- ILL_PRVOPC* = 5; (* privileged opcode *)
- ILL_PRVREG* = 6; (* privileged register *)
- ILL_COPROC* = 7; (* co-processor *)
- ILL_BADSTK* = 8; (* bad stack *)
- SEGV_MAPERR* = 1; (* address not mapped to object *)
- SEGV_ACCERR* = 2; (* invalid permissions *)
- BUS_ADRALN* = 1; (* invalid address alignment *)
- BUS_ADRERR* = 2; (* non-existent physical address *)
- BUS_OBJERR* = 3; (* object specific hardware error *)
-
-
- (* possible error constants for errno *)
- (* /usr/include/sys/errno.h *)
- EPERM* = 1; (* Operation not permitted *)
- ENOENT* = 2; (* No such file or directory *)
- ESRCH* = 3; (* No such process *)
- EINTR* = 4; (* Interrupted system call *)
- EIO* = 5; (* Input/output error *)
- ENXIO* = 6; (* Device not configured *)
- E2BIG* = 7; (* Argument list too long *)
- ENOEXEC* = 8; (* Exec format error *)
- EBADF* = 9; (* Bad file descriptor *)
- ECHILD* = 10; (* No child processes *)
- EDEADLK* = 11; (* Resource deadlock avoided *)
- ENOMEM* = 12; (* Cannot allocate memory *)
- EACCES* = 13; (* Permission denied *)
- EFAULT* = 14; (* Bad address *)
- EBUSY* = 16; (* Device busy *)
- EEXIST* = 17; (* File exists *)
- EXDEV* = 18; (* Cross-device link *)
- ENODEV* = 19; (* Operation not supported by device *)
- ENOTDIR* = 20; (* Not a directory *)
- EISDIR* = 21; (* Is a directory *)
- EINVAL* = 22; (* Invalid argument *)
- ENFILE* = 23; (* Too many open files in system *)
- EMFILE* = 24; (* Too many open files *)
- ENOTTY* = 25; (* Inappropriate ioctl for device *)
- ETXTBSY* = 26; (* Text file busy *)
- EFBIG* = 27; (* File too large *)
- ENOSPC* = 28; (* No space left on device *)
- ESPIPE* = 29; (* Illegal seek *)
- EROFS* = 30; (* Read-only file system *)
- EMLINK* = 31; (* Too many links *)
- EPIPE* = 32; (* Broken pipe *)
- EDOM* = 33; (* Numerical argument out of domain *)
- ERANGE* = 34; (* Result too large *)
- EAGAIN* = 35; (* Resource temporarily unavailable *)
- EWOULDBLOCK* = EAGAIN; (* Operation would block *)
- EINPROGRESS* = 36; (* Operation now in progress *)
- EALREADY* = 37; (* Operation already in progress *)
- ENOTSOCK* = 38; (* Socket operation on non-socket *)
- EDESTADDRREQ* = 39; (* Destination address required *)
- EMSGSIZE* = 40; (* Message too long *)
- EPROTOTYPE* = 41; (* Protocol wrong type for socket *)
- ENOPROTOOPT* = 42; (* Protocol not available *)
- EPROTONOSUPPORT* = 43; (* Protocol not supported *)
- EOPNOTSUPP* = 45; (* Operation not supported *)
- EAFNOSUPPORT* = 47; (* Address family not supported by protocol family *)
- EADDRINUSE* = 48; (* Address already in use *)
- EADDRNOTAVAIL* = 49; (* Can't assign requested address *)
- ENETDOWN* = 50; (* Network is down *)
- ENETUNREACH* = 51; (* Network is unreachable *)
- ENETRESET* = 52; (* Network dropped connection on reset *)
- ECONNABORTED* = 53; (* Software caused connection abort *)
- ECONNRESET* = 54; (* Connection reset by peer *)
- ENOBUFS* = 55; (* No buffer space available *)
- EISCONN* = 56; (* Socket is already connected *)
- ENOTCONN* = 57; (* Socket is not connected *)
- ETIMEDOUT* = 60; (* Operation timed out *)
- ECONNREFUSED* = 61; (* Connection refused *)
- ELOOP* = 62; (* Too many levels of symbolic links *)
- ENAMETOOLONG* = 63; (* File name too long *)
- ENOTEMPTY* = 66; (* Directory not empty *)
- EDQUOT* = 69; (* Disk quota exceeded *)
- ESTALE* = 70; (* Stale NFS file handle *)
- ENOLCK* = 77; (* No locks available *)
- ENOSYS* = 78; (* Function not implemented *)
- EILSEQ* = 84; (* Illegal byte sequence *)
- EIDRM* = 89; (* Identifier removed *)
- ENOMSG* = 90; (* No message of desired type *)
- ENOTSUP* = 91; (* Not supported *)
- ENOTBLK* = 15; (* Block device required *)
- ESOCKTNOSUPPORT* = 44; (* Socket type not supported *)
- EPFNOSUPPORT* = 46; (* Protocol family not supported *)
- ESHUTDOWN* = 58; (* Can't send after socket shutdown *)
- ETOOMANYREFS* = 59; (* Too many references: can't splice *)
- EHOSTDOWN* = 64; (* Host is down *)
- EHOSTUNREACH* = 65; (* No route to host *)
- EPROCLIM* = 67; (* Too many processes *)
- EUSERS* = 68; (* Too many users *)
- EREMOTE* = 71; (* Too many levels of remote in path *)
- EBADRPC* = 72; (* RPC struct is bad *)
- ERPCMISMATCH* = 73; (* RPC version wrong *)
- EPROGUNAVAIL* = 74; (* RPC prog. not avail *)
- EPROGMISMATCH* = 75; (* Program version wrong *)
- EPROCUNAVAIL* = 76; (* Bad procedure for program *)
- EFTYPE* = 79; (* Inappropriate file type or format *)
- EAUTH* = 80; (* Authentication error *)
- ENEEDAUTH* = 81; (* Need authenticator *)
- EIPSEC* = 82; (* IPsec processing failure *)
- ENOATTR* = 83; (* Attribute not found *)
- ENOMEDIUM* = 85; (* No medium found *)
- EMEDIUMTYPE* = 86; (* Wrong Medium Type *)
- EOVERFLOW* = 87; (* Conversion overflow *)
- ECANCELED* = 88; (* Operation canceled *)
- ELAST* = 91; (* Must be equal largest errno *)
- ERESTART* = -1; (* restart syscall *)
- EJUSTRETURN* = -2; (* don't modify regs, just return *)
-
-
- (* OpenBSD 5.2 /usr/include/i386/setjmp.h *)
- _JBLEN = 10;
-
- (* OpenBSD 5.2 /usr/include/sys/mman.h *)
- MAP_FAILED* = -1;
- PROT_NONE* = {}; (* no permissions *)
- PROT_READ* = {0}; (* pages can be read *)
- PROT_WRITE* = {1}; (* pages can be written *)
- PROT_EXEC* = {2}; (* pages can be executed *)
- MAP_SHARED* = {0}; (* share changes *)
- MAP_PRIVATE* = {1}; (* changes are private *)
- MAP_COPY* = {2}; (* "copy" region at mmap time *)
- MAP_FIXED* = {4}; (* map addr must be exactly as requested *)
- MAP_RENAME* = {5}; (* Sun: rename private pages to file *)
- MAP_NORESERVE* = {6}; (* Sun: don't reserve needed swap area *)
- MAP_INHERIT* = {7}; (* region is retained after exec *)
- MAP_NOEXTEND* = {8}; (* for MAP_FILE, don't change file size *)
- MAP_HASSEMAPHORE* = {9}; (* region may contain semaphores *)
- MAP_TRYFIXED* = {10}; (* attempt hint address, even within heap *)
- MAP_FILE* = {}; (* map from file (default) *)
- MAP_ANON* = {12}; (* allocated from memory, swap space *)
- MAP_FLAGMASK* = {0..2,4..12};
- MAP_INHERIT_SHARE* = {}; (* share with child *)
- MAP_INHERIT_COPY* = {0}; (* copy into child *)
- MAP_INHERIT_NONE* = {1}; (* absent from child *)
-
-
- (* OpenBSD 5.2 /usr/include/i386/param.h *)
- PAGE_SHIFT* = 12;
- PAGE_SIZE* = 4096; (* LSL(1, PAGE_SHIFT) *)
- PAGE_MASK* = PAGE_SIZE - 1;
-
- (* OpenBSD 5.2: /usr/include/fcntl.h *)
- O_SHLOCK* = {4}; (* open with shared file lock *)
- O_EXLOCK* = {5}; (* open with exclusive file lock *)
- O_ASYNC* = {6}; (* signal pgrp when data ready *)
- O_NOFOLLOW* = {8}; (* if path is a symlink, don't follow *)
- O_SYNC* = {7}; (* synchronous writes *)
- O_RDONLY* = {}; (* open for reading only *)
- O_WRONLY* = {0}; (* open for writing only *)
- O_RDWR* = {1}; (* open for reading and writing *)
- O_ACCMODE* = {0,1}; (* mask for above modes *)
- O_NONBLOCK* = {2}; (* no delay *)
- O_APPEND* = {3}; (* set append mode *)
- O_CREAT* = {9}; (* create if nonexistent *)
- O_TRUNC* = {10}; (* truncate to zero length *)
- O_EXCL* = {11}; (* error if already exists *)
- O_DSYNC* = O_SYNC; (* synchronous data writes *)
- O_RSYNC* = O_SYNC; (* synchronous reads *)
- O_NOCTTY* = {15}; (* don't assign controlling terminal *)
- O_CLOEXEC* = {16}; (* atomically set FD_CLOEXEC *)
- O_DIRECTORY* = {17}; (* fail if not a directory *)
-
-
- (* OpenBSD 5.2 /usr/include/unistd.h *)
_SC_ARG_MAX* = 1;
_SC_CHILD_MAX* = 2;
_SC_CLK_TCK* = 3;
_SC_NPROCESSORS_ONLN* = 503;
- (* OpenBSD 5.2 /usr/include/sys/mman.h *)
- POSIX_MADV_NORMAL* = 0; (* no further special treatment *)
- POSIX_MADV_RANDOM* = 1; (* expect random page references *)
- POSIX_MADV_SEQUENTIAL* = 2; (* expect sequential page references *)
- POSIX_MADV_WILLNEED* = 3; (* will need these pages *)
- POSIX_MADV_DONTNEED* = 4; (* don't need these pages *)
- MADV_SPACEAVAIL* = 5; (* insure that resources are reserved *)
- MADV_FREE* = 6; (* pages are empty, free them *)
-
- MADV_NORMAL* = POSIX_MADV_NORMAL;
- MADV_RANDOM* = POSIX_MADV_RANDOM;
- MADV_SEQUENTIAL* = POSIX_MADV_SEQUENTIAL;
- MADV_WILLNEED* = POSIX_MADV_WILLNEED;
- MADV_DONTNEED* = POSIX_MADV_DONTNEED;
-
- (* OpenBSD 5.2 /usr/include/sys/signal.h *)
- MINSIGSTKSZ* = 8192; (* minimum allowable stack *)
- SIGSTKSZ* = MINSIGSTKSZ + 32768; (* recommended stack size *)
-
- (* OpenBSD 5.2 /usr/include/sys/signal.h *)
- SIG_BLOCK* = 1; (* block specified signal set *)
- SIG_UNBLOCK* = 2; (* unblock specified signal set *)
- SIG_SETMASK* = 3; (* set specified signal set *)
-
-
- TYPE
- (* OpenBSD OK *)
- __ftw_func_t* = PROCEDURE (fileName: PtrSTR; VAR [nil] stat: stat_t; flag: INTEGER): INTEGER; (* OpenBSD 5.2: OK *)
- PtrVoid* = INTEGER;
- PtrSTR* = POINTER TO ARRAY [untagged] OF SHORTCHAR;
- (* PtrWSTR* = POINTER TO ARRAY [untagged] OF CHAR; *)
- PtrInt* = INTEGER;
- StrArray* = POINTER TO ARRAY [untagged] OF PtrSTR;
- PtrFILE* = INTEGER;
- PtrDIR* = INTEGER;
- PtrProc* = INTEGER;
- clock_t* = INTEGER; (* OpenBSD 5.2 /usr/include/i386/_types.h: 32-bit *)
-
- (* jmp_buf* = ARRAY [untagged] 6 OF INTEGER; (* bx, si, di, bp, sp, pc *) *)
- jmp_buf* = ARRAY [untagged] _JBLEN OF INTEGER; (* OpenBSD 5.2 *)
-
- mode_t* = SET; (* OpenBSD 5.2: 32-bit *)
- off_t* = LONGINT; (* OpenBSD 5.2: 64-bit *)
+ SIGSTKSZ* = 8192 + 32768;
- SelectorFunc* = PROCEDURE (dirent: Dirent): INTEGER; (* OpenBSD 5.2: OK *)
- CmpFunc* = PROCEDURE (VAR [nil] dirent1, dirent2: PtrDirent): INTEGER; (* OpenBSD 5.2: OK *)
-
- size_t* = INTEGER; (* should be unsigned int *) (* OpenBSD 5.2: /usr/include/i386/_types.h: 32-bit *)
- ssize_t* = INTEGER; (* signed int *) (* OpenBSD 5.2: /usr/include/i386/_types.h: 32-bit *)
-
- sigjmp_buf* = RECORD [untagged] (* OpenBSD 5.2 *)
- buf*: jmp_buf;
-
- (* mask_was_saved*: INTEGER;
- saved_mask*: sigset_t; *) (* OpenBSD *)
-
- xxx: INTEGER;
- END;
-
- PtrDirent* = POINTER TO Dirent;
- PtrDirentArray* = POINTER TO ARRAY [untagged] OF Dirent;
-
- Dirent* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/dirent.h *)
- (*
- d_ino*: INTEGER; (* inode number *)
- d_off*: off_t; (* offset to this dirent *)
- d_reclen*: SHORTINT; (* length of this d_name *)
- d_type*: BYTE;
- d_name*: ARRAY[untagged] NAME_MAX+1 OF SHORTCHAR; (* file name (null-terminated) *)
- *)
-
- d_fileno*: INTEGER;
- d_reclen*: SHORTINT;
- d_type*: BYTE;
- d_namlen*: BYTE;
- d_name*: ARRAY [untagged] NAME_MAX + 1 (* 256 *) OF SHORTCHAR;
- END;
+ (* ENOENT, EEXIST, EACCES, ENOMEM, EDQUOT, EMFILE, ENOTDIR (int) *)
+ EPERM* = 1; (* Operation not permitted *)
+ ENOENT* = 2; (* No such file or directory *)
+ ESRCH* = 3; (* No such process *)
+ EINTR* = 4; (* Interrupted system call *)
+ EIO* = 5; (* Input/output error *)
+ ENXIO* = 6; (* Device not configured *)
+ E2BIG* = 7; (* Argument list too long *)
+ ENOEXEC* = 8; (* Exec format error *)
+ EBADF* = 9; (* Bad file descriptor *)
+ ECHILD* = 10; (* No child processes *)
+ EDEADLK* = 11; (* Resource deadlock avoided *)
+ ENOMEM* = 12; (* Cannot allocate memory *)
+ EACCES* = 13; (* Permission denied *)
+ EFAULT* = 14; (* Bad address *)
+ EBUSY* = 16; (* Device busy *)
+ EEXIST* = 17; (* File exists *)
+ EXDEV* = 18; (* Cross-device link *)
+ ENODEV* = 19; (* Operation not supported by device *)
+ ENOTDIR* = 20; (* Not a directory *)
+ EISDIR* = 21; (* Is a directory *)
+ EINVAL* = 22; (* Invalid argument *)
+ ENFILE* = 23; (* Too many open files in system *)
+ EMFILE* = 24; (* Too many open files *)
+ ENOTTY* = 25; (* Inappropriate ioctl for device *)
+ ETXTBSY* = 26; (* Text file busy *)
+ EFBIG* = 27; (* File too large *)
+ ENOSPC* = 28; (* No space left on device *)
+ ESPIPE* = 29; (* Illegal seek *)
+ EROFS* = 30; (* Read-only file system *)
+ EMLINK* = 31; (* Too many links *)
+ EPIPE* = 32; (* Broken pipe *)
+ EDOM* = 33; (* Numerical argument out of domain *)
+ ERANGE* = 34; (* Result too large *)
+ EAGAIN* = 35; (* Resource temporarily unavailable *)
+ EWOULDBLOCK* = EAGAIN; (* Operation would block *)
+ EINPROGRESS* = 36; (* Operation now in progress *)
+ EALREADY* = 37; (* Operation already in progress *)
+ ENOTSOCK* = 38; (* Socket operation on non-socket *)
+ EDESTADDRREQ* = 39; (* Destination address required *)
+ EMSGSIZE* = 40; (* Message too long *)
+ EPROTOTYPE* = 41; (* Protocol wrong type for socket *)
+ ENOPROTOOPT* = 42; (* Protocol not available *)
+ EPROTONOSUPPORT* = 43; (* Protocol not supported *)
+ EOPNOTSUPP* = 45; (* Operation not supported *)
+ EAFNOSUPPORT* = 47; (* Address family not supported by protocol family *)
+ EADDRINUSE* = 48; (* Address already in use *)
+ EADDRNOTAVAIL* = 49; (* Can't assign requested address *)
+ ENETDOWN* = 50; (* Network is down *)
+ ENETUNREACH* = 51; (* Network is unreachable *)
+ ENETRESET* = 52; (* Network dropped connection on reset *)
+ ECONNABORTED* = 53; (* Software caused connection abort *)
+ ECONNRESET* = 54; (* Connection reset by peer *)
+ ENOBUFS* = 55; (* No buffer space available *)
+ EISCONN* = 56; (* Socket is already connected *)
+ ENOTCONN* = 57; (* Socket is not connected *)
+ ETIMEDOUT* = 60; (* Operation timed out *)
+ ECONNREFUSED* = 61; (* Connection refused *)
+ ELOOP* = 62; (* Too many levels of symbolic links *)
+ ENAMETOOLONG* = 63; (* File name too long *)
+ ENOTEMPTY* = 66; (* Directory not empty *)
+ EDQUOT* = 69; (* Disk quota exceeded *)
+ ESTALE* = 70; (* Stale NFS file handle *)
+ ENOLCK* = 77; (* No locks available *)
+ ENOSYS* = 78; (* Function not implemented *)
+ EILSEQ* = 84; (* Illegal byte sequence *)
+ EIDRM* = 89; (* Identifier removed *)
+ ENOMSG* = 90; (* No message of desired type *)
+ ENOTSUP* = 91; (* Not supported *)
+ ENOTBLK* = 15; (* Block device required *)
+ ESOCKTNOSUPPORT* = 44; (* Socket type not supported *)
+ EPFNOSUPPORT* = 46; (* Protocol family not supported *)
+ ESHUTDOWN* = 58; (* Can't send after socket shutdown *)
+ ETOOMANYREFS* = 59; (* Too many references: can't splice *)
+ EHOSTDOWN* = 64; (* Host is down *)
+ EHOSTUNREACH* = 65; (* No route to host *)
+ EPROCLIM* = 67; (* Too many processes *)
+ EUSERS* = 68; (* Too many users *)
+ EREMOTE* = 71; (* Too many levels of remote in path *)
+ EBADRPC* = 72; (* RPC struct is bad *)
+ ERPCMISMATCH* = 73; (* RPC version wrong *)
+ EPROGUNAVAIL* = 74; (* RPC prog. not avail *)
+ EPROGMISMATCH* = 75; (* Program version wrong *)
+ EPROCUNAVAIL* = 76; (* Bad procedure for program *)
+ EFTYPE* = 79; (* Inappropriate file type or format *)
+ EAUTH* = 80; (* Authentication error *)
+ ENEEDAUTH* = 81; (* Need authenticator *)
+ EIPSEC* = 82; (* IPsec processing failure *)
+ ENOATTR* = 83; (* Attribute not found *)
+ ENOMEDIUM* = 85; (* No medium found *)
+ EMEDIUMTYPE* = 86; (* Wrong Medium Type *)
+ EOVERFLOW* = 87; (* Conversion overflow *)
+ ECANCELED* = 88; (* Operation canceled *)
+ ELAST* = 91; (* Must be equal largest errno *)
+ ERESTART* = -1; (* restart syscall *)
+ EJUSTRETURN* = -2; (* don't modify regs, just return *)
- pid_t* = INTEGER; (* OpenBSD 5.2: 32-bit *)
- uid_t* = INTEGER; (* OpenBSD 5.2: 32-bit *)
- sigval_t* = INTEGER; (* OpenBSD: 32-bit (union sigval) *)
+ NAME_MAX* = 255;
- siginfo_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/siginfo.h *)
- si_signo*: INTEGER; (* Signal number *) (* OpenBSD: 32-bit *)
- si_code*: INTEGER; (* Signal code *) (* OpenBSD: 32-bit *)
- si_errno*: INTEGER; (* An errno value *) (* OpenBSD: 32-bit *)
+ SEEK_SET* = 0;
+ SEEK_CUR* = 1;
+ SEEK_END* = 2;
- (* OpenBSD 5.2: 29 * 4 B below *)
+ P_tmpdir* = "/tmp";
- si_pid*: pid_t; (* Sending process ID *)
- si_uid*: uid_t; (* Real user ID of sending process *)
- si_status*: INTEGER; (* Exit value or signal *) (* OpenBSD 5.2: 32-bit *)
+ (* O_RDWR, O_NONBLOCK (intFlags) *)
+ O_SHLOCK* = {4}; (* open with shared file lock *)
+ O_EXLOCK* = {5}; (* open with exclusive file lock *)
+ O_ASYNC* = {6}; (* signal pgrp when data ready *)
+ O_NOFOLLOW* = {8}; (* if path is a symlink, don't follow *)
+ O_SYNC* = {7}; (* synchronous writes *)
+ O_RDONLY* = {}; (* open for reading only *)
+ O_WRONLY* = {0}; (* open for writing only *)
+ O_RDWR* = {1}; (* open for reading and writing *)
+ O_ACCMODE* = {0,1}; (* mask for above modes *)
+ O_NONBLOCK* = {2}; (* no delay *)
+ O_APPEND* = {3}; (* set append mode *)
+ O_CREAT* = {9}; (* create if nonexistent *)
+ O_TRUNC* = {10}; (* truncate to zero length *)
+ O_EXCL* = {11}; (* error if already exists *)
+ O_DSYNC* = O_SYNC; (* synchronous data writes *)
+ O_RSYNC* = O_SYNC; (* synchronous reads *)
+ O_NOCTTY* = {15}; (* don't assign controlling terminal *)
+ O_CLOEXEC* = {16}; (* atomically set FD_CLOEXEC *)
+ O_DIRECTORY* = {17}; (* fail if not a directory *)
- (* si_utime*: clock_t; (* User time consumed *) *) (* OpenBSD: XXX *)
- si_stime*: clock_t; (* System time consumed *)
- (* si_value*: sigval_t; (* Signal value *) *) (* OpenBSD: XXX *)
- (* si_int*: INTEGER; (* POSIX.1b signal *) *) (* OpenBSD: XXX *)
- (* si_ptr*: PtrVoid; (* POSIX.1b signal *) *) (* OpenBSD: XXX *)
- (* si_addr*: PtrVoid; (* Memory location which caused fault *) *) (* OpenBSD: XXX *)
- (* si_band*: INTEGER; (* Band event *) *) (* OpenBSD: XXX *)
- (* si_fd*: INTEGER; (* File descriptor *) *) (* OpenBSD: XXX *)
- xxx: ARRAY [untagged] 25 OF INTEGER; (* OpenBSD *)
- END;
- Ptrsiginfo_t* = POINTER TO siginfo_t;
+ TYPE
+ StrArray* = POINTER TO ARRAY [untagged] OF PtrSTR;
+ PtrSTR* = POINTER TO ARRAY [untagged] OF SHORTCHAR;
- (* sigset_t* = ARRAY [untagged] 128 OF BYTE; *)
- (* OpenBSD 5.2 /usr/include/sys/signal.h *)
- (* sigset_t* = ARRAY [untagged] 4 OF BYTE; *)
+ (* PtrVoid, int, long, size_t, ssize_t, off_t, time_t, clock_t, sigjmp_buf *)
+ (* mode_t, intFlags, sigset_t (set) *)
+ PtrVoid* = INTEGER;
+ int* = INTEGER;
+ long* = INTEGER;
+ ulong* = INTEGER;
+ size_t* = INTEGER;
+ ssize_t* = INTEGER;
+ off_t* = LONGINT;
+ clock_t* = INTEGER;
+ time_t* = INTEGER;
+ mode_t* = SET;
+ pid_t* = INTEGER;
+ uid_t* = INTEGER;
+ gid_t* = INTEGER;
+ dev_t* = INTEGER;
+ ino_t* = INTEGER;
+ nlink_t* = INTEGER;
+ int8_t* = SHORTCHAR;
+ u_int8_t* = SHORTCHAR;
+ int16_t* = SHORTINT;
+ u_int16_t* = SHORTINT;
+ int32_t* = INTEGER;
+ u_int32_t* = INTEGER;
+ int64_t* = LONGINT;
+ u_int64_t* = LONGINT;
+ wchar_t* = INTEGER;
sigset_t* = SET;
+ sigjmp_buf* = ARRAY [untagged] 11 OF INTEGER;
+ intFlags* = SET;
+ FILE = ARRAY [untagged] 22 OF INTEGER;
- Ptrsigset_t* = INTEGER;
- sigaction_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/signal.h *)
- sa_sigaction*: PROCEDURE [ccall] (sig: INTEGER; siginfo: Ptrsiginfo_t; ptr: Ptrucontext_t); (* union with sa_handler*: PtrProc;*)
- sa_mask*: sigset_t;
- sa_flags*: SET;
- (* sa_restorer*: LONGINT; *) (* OpenBSD *)
- END;
- stack_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/signal.h *)
- ss_sp*: PtrVoid;
- ss_size*: size_t; (* OpenBSD *)
- ss_flags*: INTEGER; (* OpenBSD *)
+ tm* = POINTER TO tmDesc;
+ tmDesc* = RECORD [untagged]
+ (* NOTE: check record size *)
+ (* tm_year, tm_mon, tm_mday, tm_hour, tm_min, tm_sec, tm_wday [ , tm_gmtoff ] *)
+ (* OpenBSD 5.2 /usr/include/time.h *)
+ tm_sec*: int; (* seconds after the minute [0-60] *)
+ tm_min*: int; (* minutes after the hour [0-59] *)
+ tm_hour*: int; (* hours since midnight [0-23] *)
+ tm_mday*: int; (* day of the month [1-31] *)
+ tm_mon*: int; (* months since January [0-11] *)
+ tm_year*: int; (* years since 1900 *)
+ tm_wday*: int; (* days since Sunday [0-6] *)
+ tm_yday*: int; (* days since January 1 [0-365] *)
+ tm_isdst*: int; (* Daylight Saving Time flag *)
+ tm_gmtoff*: long; (* offset from UTC in seconds *)
+ tm_zone*: PtrSTR; (* timezone abbreviation *)
END;
- dev_t* = INTEGER; (* OpenBSD: 32-bit *)
- gid_t* = INTEGER; (* OpenBSD: 32-bit *)
-
- stat_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/stat.h *)
- st_dev*: dev_t; (* device *) (* OpenBSD: 32-bit *)
- (* __pad1: SHORTINT; *) (* OpenBSD *)
- st_ino*: INTEGER; (* 64? inode *) (* OpenBSD: 32-bit *)
- st_mode*: mode_t; (* protection *) (* OpenBSD: 32-bit *)
- st_nlink*: INTEGER; (* number of hard links *) (* OpenBSD: 32-bit *)
- st_uid*: uid_t; (* user ID of owner *) (* OpenBSD: 32-bit *)
- st_gid*: gid_t; (* group ID of owner *) (* OpenBSD: 32-bit *)
- st_rdev*: dev_t; (* device type (if inode device) *) (* OpenBSD: 32-bit *)
- st_lspare0*: INTEGER; (* OpenBSD *)
- (* __pad2: SHORTINT; *) (* OpenBSD *)
-
- (* OpenBSD *)
- st_atime*: time_t;
- st_atimensec*: INTEGER;
- st_mtime*: time_t;
- st_mtimensec*: INTEGER;
- st_ctime*: time_t;
- st_ctimensec*: INTEGER;
-
- st_size*: off_t; (* 64? total size, in bytes *) (* OpenBSD *)
- st_blocks*: LONGINT; (* OpenBSD: 64-bit *)
- st_blksize*: INTEGER; (* blocksize for filesystem I/O *)
- (* st_blocks*: INTEGER; (* 64? number of blocks allocated *) *) (* OpenBSD *)
- st_flags*: INTEGER; (* OpenBSD: 32-bit *)
- st_gen*: INTEGER; (* OpenBSD: 32-bit *)
- st_lspare1*: INTEGER; (* OpenBSD: 32-bit *)
-
- (* OpenBSD
- st_atime*: INTEGER; (* time of last access *)
- __unused1: INTEGER;
- st_mtime*: INTEGER; (* time of last modification *)
- __unused2: INTEGER;
- st_ctime*: INTEGER; (* time of last change *)
- __unused3: INTEGER;
- __unused4: INTEGER;
- __unused5: INTEGER;
- *)
-
- (* OpenBSD *)
- __st_birthtime*: time_t;
- __st_birthtimensec*: INTEGER;
- st_qspare*: ARRAY [untagged] 2 OF LONGINT;
+ Ptrsiginfo_t* = POINTER TO siginfo_t;
+ siginfo_t = RECORD [untagged]
+ (* si_code, fault address *)
+ (* OpenBSD 5.2 /usr/include/sys/siginfo.h *)
+ si_signo*: int; (* signal from signal.h *)
+ si_code*: int; (* code from above *)
+ si_errno*: int; (* error from errno.h *)
+ _data*: RECORD [union]
+ _pad*: ARRAY [untagged] 29 (* SI_PAD *) OF int; (* for future growth *)
+ _proc*: RECORD [untagged] (* kill(), SIGCLD, siqqueue() *)
+ _pid*: pid_t; (* process ID *)
+ _pdata*: RECORD [union]
+ _kill*: RECORD [untagged]
+ _uid*: uid_t;
+(*
+ _value*: sigval;
+*)
+ _value*: int
+ END;
+ _cld*: RECORD [untagged]
+ _utime*: clock_t;
+ _status*: int;
+ _stime*: clock_t;
+ END;
+ END;
+ END;
+ _fault*: RECORD [untagged] (* SIGSEGV, SIGBUS, SIGILL and SIGFPE *)
+ _addr*: PtrVoid; (* faulting address *)
+ _trapno*: int; (* illegal trap number *)
+ END;
+ END;
END;
- (* OpenBSD
- fpreg* = RECORD [untagged]
- significand*: ARRAY [untagged] 4 OF CHAR;
- exponent*: CHAR;
- END;
- *)
-
- (* OpenBSD *)
- (*
- fpstate* = RECORD [untagged]
- cw*: INTEGER; (* unsigned long int *)
- sw*: INTEGER; (* unsigned long int *)
- tag*: INTEGER; (* unsigned long int *)
- ipoff*: INTEGER; (* unsigned long int *)
- cssel*: INTEGER; (* unsigned long int *)
- dataoff*: INTEGER; (* unsigned long int *)
- datasel*: INTEGER; (* unsigned long int *)
- _st: ARRAY [untagged] 8 OF fpreg;
- status*: INTEGER; (* unsigned long int *)
- END;
- *)
- envxmm* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/npx.h *)
- (*0*)
- en_cw*: SHORTINT; (* FPU Control Word *)
- en_sw*: SHORTINT; (* FPU Status Word *)
- en_tw*: BYTE; (* FPU Tag Word (abridged) *)
- en_rsvd0*: BYTE;
- en_opcode*: SHORTINT; (* FPU Opcode *)
- en_fip*: INTEGER; (* FPU Instruction Pointer *)
- en_fcs*: SHORTINT; (* FPU IP selector *)
- en_rsvd1*: SHORTINT;
- (*16*)
- en_foo*: INTEGER; (* FPU Data pointer *)
- en_fos*: SHORTINT; (* FPU Data pointer selector *)
- en_rsvd2*: SHORTINT;
- en_mxcsr*: INTEGER; (* MXCSR Register State *)
- en_mxcsr_mask*: INTEGER; (* Mask for valid MXCSR bits (may be 0) *)
- END;
- (* FPU regsters in the extended save format. *)
- fpaccxmm* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/npx.h *)
- fp_bytes*: ARRAY [untagged] 10 OF BYTE;
- fp_rsvd*: ARRAY [untagged] 6 OF BYTE;
- END;
- (* SSE/SSE2 registers. *)
- xmmreg* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/npx.h *)
- sse_bytes*: ARRAY [untagged] 16 OF BYTE;
- END;
- fpstate* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/npx.h savefpu.savexmm *)
- sv_env*: envxmm; (* control/status context *)
- sv_ac*: ARRAY [untagged] 8 OF fpaccxmm; (* ST/MM regs *)
- sv_xmmregs*: ARRAY [untagged] 8 OF xmmreg; (* XMM regs *)
- sv_rsvd*: ARRAY [untagged] 16 * 14 OF BYTE;
- (* 512-bytes --- end of hardware portion of save area *)
- sv_ex_sw*: INTEGER; (* saved SW from last exception *)
- sv_ex_tw*: INTEGER; (* saved TW from last exception *)
+ Ptrucontext_t* = POINTER TO ucontext_t;
+ ucontext_t = RECORD [untagged]
+ (* IP, SP, FP *)
+ (* OpenBSD 5.2 /usr/include/i386/signal.h struct sigcontext *)
+ sc_gs*: int;
+ sc_fs*: int;
+ sc_es*: int;
+ sc_ds*: int;
+ sc_edi*: int;
+ sc_esi*: int;
+ sc_ebp*: int;
+ sc_ebx*: int;
+ sc_edx*: int;
+ sc_ecx*: int;
+ sc_eax*: int;
+ (* XXX *)
+ sc_eip*: int;
+ sc_cs*: int;
+ sc_eflags*: int;
+ sc_esp*: int;
+ sc_ss*: int;
+
+ sc_onstack*: int; (* sigstack state to restore *)
+ sc_mask*: int; (* signal mask to restore *)
+
+ sc_trapno*: int; (* XXX should be above *)
+ sc_err*: int;
+
+ sc_fpstate*: RECORD [union]
+ (* OpenBSD 5.2 /usr/include/i386/npx.h union savefpu *)
+(*
+ sv_87*: RECORD [untagged]
+ ...
+ END;
+ sv_xmm*: RECORD [untagged]
+ ...
+ END;
+*)
+ END;
END;
- (* OpenBSD
- gregset_t* = ARRAY [untagged] 19 OF INTEGER;
- *)
- fpregset_t* = POINTER TO fpstate;
-
- (* OpenBSD
- mcontext_t* = RECORD [untagged]
- gregs*: gregset_t;
- fpregs*: fpregset_t;
- oldmask*: INTEGER; (* unsigned long int *)
- cr2*: INTEGER; (* unsigned long int *)
+ sigaction_t* = RECORD [untagged]
+(*
+ sa_sigaction*: PROCEDURE [ccall] (sig: INTEGER; siginfo: Ptrsiginfo_t; context: Ptrucontext_t),
+ sa_flags*: intFlags, sa_mask*: sigset_t
+*)
+ (* OpenBSD 5.2 /usr/include/sys/signal.h *)
+ sa_sigaction*: PROCEDURE [ccall] (sig: int; siginfo: Ptrsiginfo_t; ctx: Ptrucontext_t);
+ sa_mask*: sigset_t;
+ sa_flags*: intFlags;
END;
- *)
- Ptrucontext_t* = POINTER TO ucontext_t;
- ucontext_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/i386/signal.h struct sigcontext *)
- (*
- uc_flags*: INTEGER; (* unsigned long int *)
- uc_link*: Ptrucontext_t;
- uc_stack*: stack_t;
- uc_mcontext*: mcontext_t;
- uc_sigmask: sigset_t;
- __fpregs_mem*: fpstate;
- *)
-
- sc_gs*: INTEGER;
- sc_fs*: INTEGER;
- sc_es*: INTEGER;
- sc_ds*: INTEGER;
- sc_edi*: INTEGER;
- sc_esi*: INTEGER;
- sc_ebp*: INTEGER;
- sc_ebx*: INTEGER;
- sc_edx*: INTEGER;
- sc_ecx*: INTEGER;
- sc_eax*: INTEGER;
- (* XXX *)
- sc_eip*: INTEGER;
- sc_cs*: INTEGER;
- sc_eflags*: INTEGER;
- sc_esp*: INTEGER;
- sc_ss*: INTEGER;
-
- sc_onstack*: INTEGER; (* sigstack state to restore *)
- sc_mask*: INTEGER; (* signal mask to restore *)
- sc_trapno*: INTEGER; (* XXX should be above *)
- sc_err*: INTEGER;
-
- sc_fpstate*: fpregset_t; (* POINTER TO savefpu *)
+ stack_t* = RECORD [untagged]
+(*
+ ss_sp*: PtrVoid, ss_size*: size_t, ss_flags*: intFlags
+*)
+ (* OpenBSD 5.2 /usr/include/sys/signal.h *)
+ ss_sp*: PtrVoid; (* signal stack base *)
+ ss_size*: size_t; (* signal stack length *)
+ ss_flags*: intFlags; (* SS_DISABLE and/or SS_ONSTACK *)
END;
- (* Times and Dates *)
-
- tm* = POINTER TO tmDesc;
- tmDesc* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/time.h *)
- tm_sec*: INTEGER; (* seconds *)
- tm_min*: INTEGER; (* minutes *)
- tm_hour*: INTEGER; (* hours *)
- tm_mday*: INTEGER; (* day of the month *)
- tm_mon*: INTEGER; (* month *)
- tm_year*: INTEGER; (* year *)
- tm_wday*: INTEGER; (* day of the week *)
- tm_yday*: INTEGER; (* day in the year *)
- tm_isdst*: INTEGER; (* daylight saving time *)
-
- tm_gmtoff*: INTEGER; (* OpenBSD *)
- tm_zone*: PtrSTR; (* OpenBSD *)
+ stat_t* = RECORD [untagged]
+(*
+ NOTE: check record size
+ st_mode*: mode_t, st_size*: off_t, st_mtime*: time_t
+*)
+ (* OpenBSD 5.2 /usr/include/sys/stat.h *)
+ st_dev*: dev_t;
+ st_ino*: ino_t;
+ st_mode*: mode_t;
+ st_nlink*: nlink_t;
+ st_uid*: uid_t;
+ st_gid*: gid_t;
+ st_rdev*: dev_t;
+ st_lspare0*: int32_t;
+
+ st_atime*: time_t;
+ st_atimensec*: long;
+ st_mtime*: time_t;
+ st_mtimensec*: long;
+ st_ctime*: time_t;
+ st_ctimensec*: long;
+
+ st_size*: off_t;
+ st_blocks*: int64_t;
+ st_blksize*: u_int32_t;
+ st_flags*: u_int32_t;
+ st_gen*: u_int32_t;
+ st_lspare1*: int32_t;
+
+ __st_birthtime*: time_t;
+ __st_birthtimensec*: long;
+ st_qspare*: ARRAY [untagged] 2 OF int64_t;
END;
- time_t* = INTEGER; (* OpenBSD 5.2 /usr/include/i386/_types.h: 32-bit *)
-
- FILE = ARRAY [untagged] 88 OF BYTE; (* OpenBSD 5.2 /usr/include/stdio.h *)
+ PtrFILE* = PtrVoid;
+ PtrDIR* = PtrVoid;
- wchar_t* = INTEGER; (* OpenBSD 5.2: 32-bit *)
- PtrWSTR* = POINTER TO ARRAY [untagged] OF wchar_t;
-
- (* OpenBSD 5.2 *)
- sigaltstack_t* = RECORD [untagged]
- ss_sp*: PtrVoid;
- ss_size*: size_t;
- ss_flags*: INTEGER;
+ PtrDirent* = POINTER TO Dirent;
+ Dirent = RECORD [untagged]
+(*
+ d_name*: ARRAY [untagged] NAME_MAX + 1 OF SHORTCHAR
+*)
+ (* OpenBSD 5.2 /usr/include/sys/dirent.h *)
+ d_fileno*: u_int32_t; (* file number of entry *)
+ d_reclen*: u_int16_t; (* length of this record *)
+ d_type*: u_int8_t; (* file type, see below *)
+ d_namlen*: u_int8_t; (* length of string in d_name *)
+ d_name*: ARRAY [untagged] 255 + 1 OF SHORTCHAR;
END;
+(*
+ VAR
+ stdin*: INTEGER;
+ timezone*: INTEGER; (* or tm.tm_gmtoff *)
+*)
+(*
+ PROCEDURE [ccall] __errno_location* (): PtrVoid;
+*)
+(*
+ (* POSIX.1 *)
+ PROCEDURE [ccall] stat* (path: PtrSTR; VAR sp: stat_t): int;
+*)
VAR
- (* timezone*: INTEGER; (* seconds from GMT *) *) (* OpenBSD: not present *)
- (* stdin*, stdout*, stderr* : PtrFILE; (* OpenBSD: not present *) *)
-
(* OpenBSD: stdin, stdout, stderr *)
__sF*: ARRAY [untagged] 3 OF FILE; (* OpenBSD 5.2 /usr/include/stdio.h *)
- (*
- stdin = SYSTEM.ADR(__sF[0])
- stdout = SYSTEM.ADR(__sF[1])
- stderr = SYSTEM.ADR(__sF[2])
- *)
-
- PROCEDURE [ccall] calloc* (nmemb, size: size_t): PtrVoid;
- PROCEDURE [ccall] clock* (): clock_t;
-
- PROCEDURE [ccall] closedir* (dir: PtrDIR): INTEGER;
-
- PROCEDURE [ccall] chmod* (path: PtrSTR; mode: mode_t);
- PROCEDURE [ccall] exit* (status: INTEGER);
-
- PROCEDURE [ccall] fclose* (fp: PtrFILE): INTEGER;
- PROCEDURE [ccall] fflush* (fp: PtrFILE): INTEGER;
- PROCEDURE [ccall] fopen* (filename, mode: PtrSTR): PtrFILE;
- PROCEDURE [ccall] feof* (fp: PtrFILE): INTEGER;
- PROCEDURE [ccall] fread* (ptr: PtrVoid; size, nmemb: size_t; stream: PtrFILE): size_t;
- PROCEDURE [ccall] fseek* (stream: PtrFILE; offset, origin: INTEGER): INTEGER;
- PROCEDURE [ccall] free* (p: PtrVoid);
-
- PROCEDURE [ccall] ftell* (stream: PtrFILE): (* LONGINT; *) INTEGER; (* OpenBSD 5.2 *)
-
- PROCEDURE [ccall] ftw* (filename: PtrSTR; func: __ftw_func_t; maxfds: INTEGER): INTEGER;
- PROCEDURE [ccall] fwrite* (ptr: PtrVoid; size, nmemb: size_t; stream: PtrFILE): size_t;
- PROCEDURE [ccall] getcwd* (buf: PtrSTR; size: size_t): PtrSTR;
-
- (* PROCEDURE [ccall] getcontext* (ucontext_t: Ptrucontext_t): INTEGER; *) (* OpenBSD *)
-
- (* PROCEDURE [ccall] gets* (s: PtrSTR); *)
- PROCEDURE [ccall] gets* (s: PtrSTR): PtrSTR; (* OpenBSD 5.2 *)
-
- PROCEDURE [ccall] fgets* (s: PtrSTR; n: INTEGER; fp: PtrFILE): PtrSTR;
- PROCEDURE [ccall] gmtime* (VAR timep: time_t): tm;
- PROCEDURE [ccall] kill* (pid: pid_t; sig: INTEGER): INTEGER;
- PROCEDURE [ccall] localtime* (VAR timep: time_t): tm;
- PROCEDURE [ccall] malloc* (size: size_t): PtrVoid;
- PROCEDURE [ccall] mkdir* (path: PtrSTR; mode: mode_t): INTEGER;
- PROCEDURE [ccall] mktime* (timeptr: tm): time_t;
- PROCEDURE [ccall] opendir* (filename: PtrSTR): PtrDIR;
- PROCEDURE [ccall] printf* (s: PtrSTR): INTEGER;
- PROCEDURE [ccall] readdir* (dir: PtrDIR): PtrDirent;
- PROCEDURE [ccall] remove* (path: PtrSTR): INTEGER;
- PROCEDURE [ccall] rename* (from, to: PtrSTR): INTEGER;
- PROCEDURE [ccall] scandir* (dir: PtrDIR; namelist: PtrDirentArray; selector: SelectorFunc; cmp: CmpFunc): INTEGER;
-
- (* PROCEDURE [ccall] setcontext* (ucontext_t: Ptrucontext_t): INTEGER; *) (* OpenBSD *)
-
- PROCEDURE [ccall] setjmp* (VAR env: jmp_buf): INTEGER;
- PROCEDURE [ccall] sigaction* (sig_num: INTEGER; VAR [nil] act: sigaction_t; VAR [nil] oldact: sigaction_t): INTEGER;
- PROCEDURE [ccall] sigaddset* (set: Ptrsigset_t; sig: INTEGER): INTEGER;
- PROCEDURE [ccall] sigdelset* (set: Ptrsigset_t; sig: INTEGER): INTEGER;
- PROCEDURE [ccall] sigemptyset* (set: Ptrsigset_t): INTEGER;
- PROCEDURE [ccall] sigfillset* (set: Ptrsigset_t): INTEGER;
- PROCEDURE [ccall] sigismemeber* (set: Ptrsigset_t; sig: INTEGER): INTEGER;
- PROCEDURE [ccall] siglongjmp* (VAR env: sigjmp_buf; val: INTEGER);
-
- PROCEDURE [ccall] signal* (sig_num: INTEGER; sighandler: PtrProc): PtrProc;
- (* PROCEDURE [ccall] sigsetjmp* ["__sigsetjmp"] (VAR env: sigjmp_buf; savemask: INTEGER): INTEGER; *)
- PROCEDURE [ccall] sigsetjmp* (VAR env: sigjmp_buf; savemask: INTEGER): INTEGER; (* OpenBSD *)
-
- (* OpenBSD *)
- PROCEDURE [ccall] stat* (filename: PtrSTR; VAR buf: stat_t): INTEGER; (* stat is a macro and expands to __xstat(3, filename, buf) *)
-(* OpenBSD: __xstat not present
- PROCEDURE [ccall] __xstat* (version: INTEGER; filename: PtrSTR; VAR buf: stat_t): INTEGER;
-*)
-
- PROCEDURE [ccall] strftime* (s: PtrSTR; max: size_t; format: PtrSTR; ptm: tm): size_t;
- PROCEDURE [ccall] time* (VAR [nil] t: time_t): time_t;
-
- (* PROCEDURE [ccall] __errno_location*(): INTEGER; *)
- PROCEDURE [ccall] __errno_location* ["__errno"] (): INTEGER; (* OpenBSD *)
+ (*
+ stdin = SYSTEM.ADR(__sF[0])
+ stdout = SYSTEM.ADR(__sF[1])
+ stderr = SYSTEM.ADR(__sF[2])
+ *)
- PROCEDURE [ccall] open* (path: PtrSTR; flags: SET; mode: mode_t): INTEGER;
- PROCEDURE [ccall] close* (d: INTEGER): INTEGER;
- PROCEDURE [ccall] read* (d: INTEGER; buf: PtrVoid; nbytes: size_t): ssize_t;
- PROCEDURE [ccall] write* (d: INTEGER; buf: PtrVoid; nBytes: size_t): ssize_t;
+ PROCEDURE [ccall] __errno_location* ["__errno"] (): PtrVoid;
- (* OpenBSD *)
- PROCEDURE [ccall] mprotect* (addr: PtrVoid; len: size_t; prot: SET): INTEGER;
+ (* POSIX.1 *)
+ PROCEDURE [ccall] stat* (path: PtrSTR; VAR sp: stat_t): int;
- (* OpenBSD 5.2 *)
- PROCEDURE [ccall] madvise* (addr: PtrVoid; len: size_t; behav: INTEGER): INTEGER;
- PROCEDURE [ccall] mmap* (addr: PtrVoid; len: size_t; prot: SET; flags: SET; fd: INTEGER; offset: off_t): PtrVoid;
- PROCEDURE [ccall] munmap* (addr: PtrVoid; len: size_t): INTEGER;
+ (* ANSI C 89 *)
+ PROCEDURE [ccall] clock* (): clock_t;
- PROCEDURE [ccall] getenv* (name: PtrSTR): PtrSTR;
+ PROCEDURE [ccall] mmap* (adr: PtrVoid; len: size_t; prot: intFlags; flags: intFlags; fd: int; offset: off_t): PtrVoid;
+ (* BSD *)
+ PROCEDURE [ccall] munmap* (adr: PtrVoid; len: size_t): int;
+ PROCEDURE [ccall] mprotect* (adr: PtrVoid; len: size_t; prot: intFlags): int;
- (* OpenBSD 5.2: Ok *)
- PROCEDURE [ccall] wctomb* (s: PtrSTR; wchar: wchar_t): INTEGER;
- PROCEDURE [ccall] wcstombs* (s: PtrSTR; pwcs: PtrWSTR; n: size_t): size_t;
- PROCEDURE [ccall] mbtowc* (pwc: PtrWSTR; s: PtrSTR; n: size_t): INTEGER;
- PROCEDURE [ccall] mbstowcs* (pwcs: PtrWSTR; s: PtrSTR; n: size_t): size_t;
-
- (* OpenBSD 5.2 *)
- PROCEDURE [ccall] sysconf* (name: INTEGER): INTEGER;
-
- PROCEDURE [ccall] sigaltstack* (VAR [nil] ss: sigaltstack_t; VAR [nil] oss: sigaltstack_t): INTEGER;
-
- PROCEDURE [ccall] sigreturn* (ucontext_t: Ptrucontext_t): INTEGER;
-
- PROCEDURE [ccall] sigprocmask* (how: INTEGER; VAR [nil] set: sigset_t; VAR [nil] oset: sigset_t): INTEGER;
+(*
+ PROCEDURE [ccall] calloc* (nmemb: size_t; size: size_t): PtrVoid;
+ (* ANSI C 89 *)
+ PROCEDURE [ccall] malloc* (size: size_t): PtrVoid;
+*)
+ PROCEDURE [ccall] free* (ptr: PtrVoid);
+
+ (* AT&T *)
+ PROCEDURE [ccall] time* (VAR [nil] t: time_t): time_t;
+ PROCEDURE [ccall] gmtime* (VAR [nil] t: time_t): tm;
+ PROCEDURE [ccall] localtime* (VAR [nil] t: time_t): tm;
+
+ (* POSIX.1 *)
+ PROCEDURE [ccall] sigsetjmp* (VAR env: sigjmp_buf; savemask: int): int;
+ PROCEDURE [ccall] siglongjmp* (VAR env: sigjmp_buf; val: int);
+
+ (* POSIX.1 *)
+ PROCEDURE [ccall] sigemptyset* (VAR set: sigset_t): int;
+ PROCEDURE [ccall] sigfillset* (VAR set: sigset_t): int;
+ PROCEDURE [ccall] sigaddset* (VAR set: sigset_t; signo: int): int;
+ PROCEDURE [ccall] sigprocmask* (how: int; VAR [nil] set: sigset_t; VAR [nil] oset: sigset_t): int;
+
+ (* POSIX.1 *)
+ PROCEDURE [ccall] sigaction* (sig: int; VAR [nil] act: sigaction_t; VAR [nil] oact: sigaction_t): int;
+
+ (* BSD *)
+ PROCEDURE [ccall] sigaltstack* (VAR [nil] ss: stack_t; VAR [nil] oss: stack_t): int;
+
+ (* ANSI C 89 *)
+ PROCEDURE [ccall] getenv* (s: PtrSTR): PtrSTR;
+
+ (* ANSI C 89 *)
+ PROCEDURE [ccall] fopen* (path, mode: PtrSTR): PtrFILE;
+ PROCEDURE [ccall] fclose* (stream: PtrFILE): int;
+ PROCEDURE [ccall] fread* (ptr: PtrVoid; size: size_t; nmemb: size_t; stream: PtrFILE): size_t;
+ PROCEDURE [ccall] fwrite* (ptr: PtrVoid; size: size_t; nmemb: size_t; stream: PtrFILE): size_t;
+ PROCEDURE [ccall] fflush* (s: PtrFILE): int;
+ PROCEDURE [ccall] printf* (s: PtrSTR): int;
+ (* ANSI C 89, XPG4 *)
+ PROCEDURE [ccall] fseek* (stream: PtrFILE; offset: long; whence: int): int;
+
+ (* POSIX.1 *)
+ PROCEDURE [ccall] rename* (from, to: PtrSTR): int;
+ PROCEDURE [ccall] mkdir* (path: PtrSTR; mode: mode_t): int;
+ PROCEDURE [ccall] opendir* (filename: PtrSTR): PtrDIR;
+ PROCEDURE [ccall] readdir* (dirp: PtrDIR): PtrDirent;
+ PROCEDURE [ccall] closedir* (dirp: PtrDIR): int;
+ (* ANSI C 89, XPG4.2 *)
+ PROCEDURE [ccall] remove* (path: PtrSTR): int;
+
+ (* POSIX.1 *)
+ PROCEDURE [ccall] getcwd* (buf: PtrSTR; size: size_t): PtrSTR;
+
+ (* ANSI C 99 *)
+ PROCEDURE [ccall] exit* (status: int);
+
+ (* ANSI C 89 *)
+ PROCEDURE [ccall] strftime* (buf: PtrSTR; maxsize: size_t; format: PtrSTR; timeptr: tm): size_t;
+
+ (* XXX: use fread instead *)
+ PROCEDURE [ccall] fgets* (str: PtrSTR; size: int; stream: PtrFILE): PtrSTR;
+
+ (* POSIX.1 *)
+ PROCEDURE [ccall] open* (path: PtrSTR; flags: intFlags; mode: mode_t): int;
+ PROCEDURE [ccall] write* (d: int; buf: PtrVoid; nbytes: size_t): ssize_t;
+ PROCEDURE [ccall] read* (d: int; buf: PtrVoid; nbytes: size_t): ssize_t;
+ PROCEDURE [ccall] close* (d: int): int;
+
+ (* POSIX.1 *)
+ PROCEDURE [ccall] sysconf* (name: int): long;
END LinLibc.