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 *) IMPORT SYSTEM; CONST NULL* = 0H; TRUE* = 1; FALSE* = 0; (* file constants *) SEEK_SET* = 0; SEEK_CUR* = 1; SEEK_END* = 2; NAME_MAX* = 255; (* OpenBSD /usr/include/sys/syslimits.h *) (* 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 *) (* temp directory defined in stdio.h *) P_tmpdir* = "/tmp"; (* 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 *) %%defs-signal%% (* Bits in `sa_flags'. *) %%defs-sa%% (* Some aliases for the SA_ constants. *) (* SA_NOMASK* = SA_NODEFER; SA_ONESHOT* = SA_RESETHAND; SA_STACK* = SA_ONSTACK; *) (* code values for siginfo_t.si_code *) (* OpenBSD /usr/include/sys/siginfo.h *) %%defs-siginfo1%% (* possible error constants for errno *) (* /usr/include/sys/errno.h *) %%defs-errno%% (* OpenBSD 5.2 /usr/include/i386/setjmp.h *) _JBLEN = 10; (* OpenBSD 5.2 /usr/include/sys/mman.h *) MAP_FAILED* = -1; %%defs-mman%% (* 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 *) %%defs-fcntl%% (* OpenBSD 5.2 /usr/include/unistd.h *) %%defs-sc%% (* OpenBSD 5.2 /usr/include/sys/mman.h *) %%defs-madv%% 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 *) %%defs-sig%% 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 *) 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; pid_t* = INTEGER; (* OpenBSD 5.2: 32-bit *) uid_t* = INTEGER; (* OpenBSD 5.2: 32-bit *) (* sigval_t* = INTEGER; (* OpenBSD: 32-bit (union sigval) *) *) sigval = RECORD [union] sival_int*: INTEGER; (* integer value *) sival_ptr*: PtrVoid; (* pointer value *) END; siginfo_t* = RECORD [untagged] (* OpenBSD 5.2 /usr/include/sys/siginfo.h *) si_signo*: INTEGER; (* signal from signal.h *) si_code*: INTEGER; (* code from above *) si_errno*: INTEGER; (* error from errno.h *) _data*: RECORD [union] _pad*: ARRAY [untagged] 29 (* SI_PAD *) OF INTEGER; (* 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; END; _cld*: RECORD [untagged] _utime*: clock_t; _status*: INTEGER; _stime*: clock_t; END; END; END; _fault*: RECORD [untagged] (* SIGSEGV, SIGBUS, SIGILL and SIGFPE *) _addr*: PtrVoid; (* faulting address *) _trapno*: INTEGER; (* illegal trap number *) END; END; END; Ptrsiginfo_t* = POINTER TO siginfo_t; (* sigset_t* = ARRAY [untagged] 128 OF BYTE; *) (* OpenBSD 5.2 /usr/include/sys/signal.h *) (* sigset_t* = ARRAY [untagged] 4 OF BYTE; *) sigset_t* = SET; 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 *) 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; 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 *) 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 *) 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 *) 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 *) 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 *) 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; END; 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 *) 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; (* OpenBSD *) PROCEDURE [ccall] mprotect* (addr: PtrVoid; len: size_t; prot: SET): INTEGER; (* 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; PROCEDURE [ccall] getenv* (name: PtrSTR): PtrSTR; (* 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; END LinLibc.