1 MODULE LinLibc ["libc.so.70.0"];
3 (*
4 OpenBSD 5.4
5 i386
6 *)
8 CONST
9 NULL* = 0H;
10 FALSE* = 0;
11 TRUE* = 1;
13 CLOCKS_PER_SEC* = 100;
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_COPY* = {2}; (* "copy" region at mmap time *)
21 MAP_FIXED* = {4}; (* map addr must be exactly as requested *)
22 MAP_RENAME* = {5}; (* Sun: rename private pages to file *)
23 MAP_NORESERVE* = {6}; (* Sun: don't reserve needed swap area *)
24 MAP_INHERIT* = {7}; (* region is retained after exec *)
25 MAP_NOEXTEND* = {8}; (* for MAP_FILE, don't change file size *)
26 MAP_HASSEMAPHORE* = {9}; (* region may contain semaphores *)
27 MAP_TRYFIXED* = {10}; (* attempt hint address, even within heap *)
28 MAP_FILE* = {}; (* map from file (default) *)
29 MAP_ANON* = {12}; (* allocated from memory, swap space *)
30 MAP_FLAGMASK* = {0..2,4..12};
31 MAP_INHERIT_SHARE* = {}; (* share with child *)
32 MAP_INHERIT_COPY* = {0}; (* copy into child *)
33 MAP_INHERIT_NONE* = {1}; (* absent from child *)
36 (* PROT_READ, PROT_WRITE, PROT_EXEC (intFlags) *)
37 PROT_NONE* = {}; (* no permissions *)
38 PROT_READ* = {0}; (* pages can be read *)
39 PROT_WRITE* = {1}; (* pages can be written *)
40 PROT_EXEC* = {2}; (* pages can be executed *)
43 (* SIG_UNBLOCK, SIG_SETMASK (int) *)
44 SIG_BLOCK* = 1; (* block specified signal set *)
45 SIG_UNBLOCK* = 2; (* unblock specified signal set *)
46 SIG_SETMASK* = 3; (* set specified signal set *)
49 (* FPE_INTDIV, FPE_INTOVF, FPE_FLTDIV, FPE_FLTOVF, FPE_FLTUND, FPE_FLTRES, FPE_FLTINV, FPE_FLTSUB (int) *)
50 FPE_INTDIV* = 1; (* integer divide by zero *)
51 FPE_INTOVF* = 2; (* integer overflow *)
52 FPE_FLTDIV* = 3; (* floating point divide by zero *)
53 FPE_FLTOVF* = 4; (* floating point overflow *)
54 FPE_FLTUND* = 5; (* floating point underflow *)
55 FPE_FLTRES* = 6; (* floating point inexact result *)
56 FPE_FLTINV* = 7; (* invalid floating point operation *)
57 FPE_FLTSUB* = 8; (* subscript out of range *)
60 (* SA_SIGINFO (intFlags) *)
61 SA_NOCLDSTOP* = {3}; (* do not generate SIGCHLD on child stop *)
62 SA_ONSTACK* = {0}; (* take signal on signal stack *)
63 SA_RESTART* = {1}; (* restart system on signal return *)
64 SA_RESETHAND* = {2}; (* reset to SIG_DFL when taking signal *)
65 SA_NODEFER* = {4}; (* don't mask the signal we're delivering *)
66 SA_NOCLDWAIT* = {5}; (* don't create zombies (assign to pid 1) *)
67 SA_SIGINFO* = {6}; (* generate siginfo_t *)
70 (* SIGINT, SIGILL, SIGFPE, SIGSEGV, SIGKILL, SIGSTOP, SIGWINCH, SIGTHR (int) *)
71 SIGHUP* = 1; (* hangup *)
72 SIGINT* = 2; (* interrupt *)
73 SIGQUIT* = 3; (* quit *)
74 SIGILL* = 4; (* illegal instruction (not reset when caught) *)
75 SIGTRAP* = 5; (* trace trap (not reset when caught) *)
76 SIGABRT* = 6; (* abort() *)
77 SIGFPE* = 8; (* floating point exception *)
78 SIGKILL* = 9; (* kill (cannot be caught or ignored) *)
79 SIGBUS* = 10; (* bus error *)
80 SIGSEGV* = 11; (* segmentation violation *)
81 SIGSYS* = 12; (* bad argument to system call *)
82 SIGPIPE* = 13; (* write on a pipe with no one to read it *)
83 SIGALRM* = 14; (* alarm clock *)
84 SIGTERM* = 15; (* software termination signal from kill *)
85 SIGURG* = 16; (* urgent condition on IO channel *)
86 SIGSTOP* = 17; (* sendable stop signal not from tty *)
87 SIGTSTP* = 18; (* stop signal from tty *)
88 SIGCONT* = 19; (* continue a stopped process *)
89 SIGCHLD* = 20; (* to parent on child stop or exit *)
90 SIGTTIN* = 21; (* to readers pgrp upon background tty read *)
91 SIGTTOU* = 22; (* like TTIN for output if (tp->t_local<OSTOP) *)
92 SIGXCPU* = 24; (* exceeded CPU time limit *)
93 SIGXFSZ* = 25; (* exceeded file size limit *)
94 SIGVTALRM* = 26; (* virtual time alarm *)
95 SIGPROF* = 27; (* profiling time alarm *)
96 SIGUSR1* = 30; (* user defined signal 1 *)
97 SIGUSR2* = 31; (* user defined signal 2 *)
98 SIGWINCH* = 28; (* window size changes *)
99 SIGTHR* = 32; (* thread library AST *)
101 _NSIG* = 33;
103 (*
104 PAGE_SIZE* = 4096;
105 *)
106 _SC_ARG_MAX* = 1;
107 _SC_CHILD_MAX* = 2;
108 _SC_CLK_TCK* = 3;
109 _SC_NGROUPS_MAX* = 4;
110 _SC_OPEN_MAX* = 5;
111 _SC_JOB_CONTROL* = 6;
112 _SC_SAVED_IDS* = 7;
113 _SC_VERSION* = 8;
114 _SC_BC_BASE_MAX* = 9;
115 _SC_BC_DIM_MAX* = 10;
116 _SC_BC_SCALE_MAX* = 11;
117 _SC_BC_STRING_MAX* = 12;
118 _SC_COLL_WEIGHTS_MAX* = 13;
119 _SC_EXPR_NEST_MAX* = 14;
120 _SC_LINE_MAX* = 15;
121 _SC_RE_DUP_MAX* = 16;
122 _SC_2_VERSION* = 17;
123 _SC_2_C_BIND* = 18;
124 _SC_2_C_DEV* = 19;
125 _SC_2_CHAR_TERM* = 20;
126 _SC_2_FORT_DEV* = 21;
127 _SC_2_FORT_RUN* = 22;
128 _SC_2_LOCALEDEF* = 23;
129 _SC_2_SW_DEV* = 24;
130 _SC_2_UPE* = 25;
131 _SC_STREAM_MAX* = 26;
132 _SC_TZNAME_MAX* = 27;
133 _SC_PAGESIZE* = 28;
134 _SC_PAGE_SIZE* = _SC_PAGESIZE; (* 1170 compatibility *)
135 _SC_FSYNC* = 29;
136 _SC_XOPEN_SHM* = 30;
137 _SC_SEM_NSEMS_MAX* = 31;
138 _SC_SEM_VALUE_MAX* = 32;
139 _SC_HOST_NAME_MAX* = 33;
140 _SC_MONOTONIC_CLOCK* = 34;
141 _SC_2_PBS* = 35;
142 _SC_2_PBS_ACCOUNTING* = 36;
143 _SC_2_PBS_CHECKPOINT* = 37;
144 _SC_2_PBS_LOCATE* = 38;
145 _SC_2_PBS_MESSAGE* = 39;
146 _SC_2_PBS_TRACK* = 40;
147 _SC_ADVISORY_INFO* = 41;
148 _SC_AIO_LISTIO_MAX* = 42;
149 _SC_AIO_MAX* = 43;
150 _SC_AIO_PRIO_DELTA_MAX* = 44;
151 _SC_ASYNCHRONOUS_IO* = 45;
152 _SC_ATEXIT_MAX* = 46;
153 _SC_BARRIERS* = 47;
154 _SC_CLOCK_SELECTION* = 48;
155 _SC_CPUTIME* = 49;
156 _SC_DELAYTIMER_MAX* = 50;
157 _SC_IOV_MAX* = 51;
158 _SC_IPV6* = 52;
159 _SC_MAPPED_FILES* = 53;
160 _SC_MEMLOCK* = 54;
161 _SC_MEMLOCK_RANGE* = 55;
162 _SC_MEMORY_PROTECTION* = 56;
163 _SC_MESSAGE_PASSING* = 57;
164 _SC_MQ_OPEN_MAX* = 58;
165 _SC_MQ_PRIO_MAX* = 59;
166 _SC_PRIORITIZED_IO* = 60;
167 _SC_PRIORITY_SCHEDULING* = 61;
168 _SC_RAW_SOCKETS* = 62;
169 _SC_READER_WRITER_LOCKS* = 63;
170 _SC_REALTIME_SIGNALS* = 64;
171 _SC_REGEXP* = 65;
172 _SC_RTSIG_MAX* = 66;
173 _SC_SEMAPHORES* = 67;
174 _SC_SHARED_MEMORY_OBJECTS* = 68;
175 _SC_SHELL* = 69;
176 _SC_SIGQUEUE_MAX* = 70;
177 _SC_SPAWN* = 71;
178 _SC_SPIN_LOCKS* = 72;
179 _SC_SPORADIC_SERVER* = 73;
180 _SC_SS_REPL_MAX* = 74;
181 _SC_SYNCHRONIZED_IO* = 75;
182 _SC_SYMLOOP_MAX* = 76;
183 _SC_THREAD_ATTR_STACKADDR* = 77;
184 _SC_THREAD_ATTR_STACKSIZE* = 78;
185 _SC_THREAD_CPUTIME* = 79;
186 _SC_THREAD_DESTRUCTOR_ITERATIONS* = 80;
187 _SC_THREAD_KEYS_MAX* = 81;
188 _SC_THREAD_PRIO_INHERIT* = 82;
189 _SC_THREAD_PRIO_PROTECT* = 83;
190 _SC_THREAD_PRIORITY_SCHEDULING* = 84;
191 _SC_THREAD_PROCESS_SHARED* = 85;
192 _SC_THREAD_ROBUST_PRIO_INHERIT* = 86;
193 _SC_THREAD_ROBUST_PRIO_PROTECT* = 87;
194 _SC_THREAD_SPORADIC_SERVER* = 88;
195 _SC_THREAD_STACK_MIN* = 89;
196 _SC_THREAD_THREADS_MAX* = 90;
197 _SC_THREADS* = 91;
198 _SC_TIMEOUTS* = 92;
199 _SC_TIMER_MAX* = 93;
200 _SC_TIMERS* = 94;
201 _SC_TRACE* = 95;
202 _SC_TRACE_EVENT_FILTER* = 96;
203 _SC_TRACE_EVENT_NAME_MAX* = 97;
204 _SC_TRACE_INHERIT* = 98;
205 _SC_TRACE_LOG* = 99;
206 _SC_GETGR_R_SIZE_MAX* = 100;
207 _SC_GETPW_R_SIZE_MAX* = 101;
208 _SC_LOGIN_NAME_MAX* = 102;
209 _SC_THREAD_SAFE_FUNCTIONS* = 103;
210 _SC_TRACE_NAME_MAX* = 104;
211 _SC_TRACE_SYS_MAX* = 105;
212 _SC_TRACE_USER_EVENT_MAX* = 106;
213 _SC_TTY_NAME_MAX* = 107;
214 _SC_TYPED_MEMORY_OBJECTS* = 108;
215 _SC_V6_ILP32_OFF32* = 109;
216 _SC_V6_ILP32_OFFBIG* = 110;
217 _SC_V6_LP64_OFF64* = 111;
218 _SC_V6_LPBIG_OFFBIG* = 112;
219 _SC_V7_ILP32_OFF32* = 113;
220 _SC_V7_ILP32_OFFBIG* = 114;
221 _SC_V7_LP64_OFF64* = 115;
222 _SC_V7_LPBIG_OFFBIG* = 116;
223 _SC_XOPEN_CRYPT* = 117;
224 _SC_XOPEN_ENH_I18N* = 118;
225 _SC_XOPEN_LEGACY* = 119;
226 _SC_XOPEN_REALTIME* = 120;
227 _SC_XOPEN_REALTIME_THREADS* = 121;
228 _SC_XOPEN_STREAMS* = 122;
229 _SC_XOPEN_UNIX* = 123;
230 _SC_XOPEN_UUCP* = 124;
231 _SC_XOPEN_VERSION* = 125;
232 _SC_PHYS_PAGES* = 500;
233 _SC_AVPHYS_PAGES* = 501;
234 _SC_NPROCESSORS_CONF* = 502;
235 _SC_NPROCESSORS_ONLN* = 503;
238 SIGSTKSZ* = 8192 + 32768;
240 (* ENOENT, EEXIST, EACCES, ENOMEM, EDQUOT, EMFILE, ENOTDIR (int) *)
241 EPERM* = 1; (* Operation not permitted *)
242 ENOENT* = 2; (* No such file or directory *)
243 ESRCH* = 3; (* No such process *)
244 EINTR* = 4; (* Interrupted system call *)
245 EIO* = 5; (* Input/output error *)
246 ENXIO* = 6; (* Device not configured *)
247 E2BIG* = 7; (* Argument list too long *)
248 ENOEXEC* = 8; (* Exec format error *)
249 EBADF* = 9; (* Bad file descriptor *)
250 ECHILD* = 10; (* No child processes *)
251 EDEADLK* = 11; (* Resource deadlock avoided *)
252 ENOMEM* = 12; (* Cannot allocate memory *)
253 EACCES* = 13; (* Permission denied *)
254 EFAULT* = 14; (* Bad address *)
255 EBUSY* = 16; (* Device busy *)
256 EEXIST* = 17; (* File exists *)
257 EXDEV* = 18; (* Cross-device link *)
258 ENODEV* = 19; (* Operation not supported by device *)
259 ENOTDIR* = 20; (* Not a directory *)
260 EISDIR* = 21; (* Is a directory *)
261 EINVAL* = 22; (* Invalid argument *)
262 ENFILE* = 23; (* Too many open files in system *)
263 EMFILE* = 24; (* Too many open files *)
264 ENOTTY* = 25; (* Inappropriate ioctl for device *)
265 ETXTBSY* = 26; (* Text file busy *)
266 EFBIG* = 27; (* File too large *)
267 ENOSPC* = 28; (* No space left on device *)
268 ESPIPE* = 29; (* Illegal seek *)
269 EROFS* = 30; (* Read-only file system *)
270 EMLINK* = 31; (* Too many links *)
271 EPIPE* = 32; (* Broken pipe *)
272 EDOM* = 33; (* Numerical argument out of domain *)
273 ERANGE* = 34; (* Result too large *)
274 EAGAIN* = 35; (* Resource temporarily unavailable *)
275 EWOULDBLOCK* = EAGAIN; (* Operation would block *)
276 EINPROGRESS* = 36; (* Operation now in progress *)
277 EALREADY* = 37; (* Operation already in progress *)
278 ENOTSOCK* = 38; (* Socket operation on non-socket *)
279 EDESTADDRREQ* = 39; (* Destination address required *)
280 EMSGSIZE* = 40; (* Message too long *)
281 EPROTOTYPE* = 41; (* Protocol wrong type for socket *)
282 ENOPROTOOPT* = 42; (* Protocol not available *)
283 EPROTONOSUPPORT* = 43; (* Protocol not supported *)
284 EOPNOTSUPP* = 45; (* Operation not supported *)
285 EAFNOSUPPORT* = 47; (* Address family not supported by protocol family *)
286 EADDRINUSE* = 48; (* Address already in use *)
287 EADDRNOTAVAIL* = 49; (* Can't assign requested address *)
288 ENETDOWN* = 50; (* Network is down *)
289 ENETUNREACH* = 51; (* Network is unreachable *)
290 ENETRESET* = 52; (* Network dropped connection on reset *)
291 ECONNABORTED* = 53; (* Software caused connection abort *)
292 ECONNRESET* = 54; (* Connection reset by peer *)
293 ENOBUFS* = 55; (* No buffer space available *)
294 EISCONN* = 56; (* Socket is already connected *)
295 ENOTCONN* = 57; (* Socket is not connected *)
296 ETIMEDOUT* = 60; (* Operation timed out *)
297 ECONNREFUSED* = 61; (* Connection refused *)
298 ELOOP* = 62; (* Too many levels of symbolic links *)
299 ENAMETOOLONG* = 63; (* File name too long *)
300 ENOTEMPTY* = 66; (* Directory not empty *)
301 EDQUOT* = 69; (* Disk quota exceeded *)
302 ESTALE* = 70; (* Stale NFS file handle *)
303 ENOLCK* = 77; (* No locks available *)
304 ENOSYS* = 78; (* Function not implemented *)
305 EILSEQ* = 84; (* Illegal byte sequence *)
306 EIDRM* = 89; (* Identifier removed *)
307 ENOMSG* = 90; (* No message of desired type *)
308 ENOTSUP* = 91; (* Not supported *)
309 ENOTBLK* = 15; (* Block device required *)
310 ESOCKTNOSUPPORT* = 44; (* Socket type not supported *)
311 EPFNOSUPPORT* = 46; (* Protocol family not supported *)
312 ESHUTDOWN* = 58; (* Can't send after socket shutdown *)
313 ETOOMANYREFS* = 59; (* Too many references: can't splice *)
314 EHOSTDOWN* = 64; (* Host is down *)
315 EHOSTUNREACH* = 65; (* No route to host *)
316 EPROCLIM* = 67; (* Too many processes *)
317 EUSERS* = 68; (* Too many users *)
318 EREMOTE* = 71; (* Too many levels of remote in path *)
319 EBADRPC* = 72; (* RPC struct is bad *)
320 ERPCMISMATCH* = 73; (* RPC version wrong *)
321 EPROGUNAVAIL* = 74; (* RPC prog. not avail *)
322 EPROGMISMATCH* = 75; (* Program version wrong *)
323 EPROCUNAVAIL* = 76; (* Bad procedure for program *)
324 EFTYPE* = 79; (* Inappropriate file type or format *)
325 EAUTH* = 80; (* Authentication error *)
326 ENEEDAUTH* = 81; (* Need authenticator *)
327 EIPSEC* = 82; (* IPsec processing failure *)
328 ENOATTR* = 83; (* Attribute not found *)
329 ENOMEDIUM* = 85; (* No medium found *)
330 EMEDIUMTYPE* = 86; (* Wrong Medium Type *)
331 EOVERFLOW* = 87; (* Conversion overflow *)
332 ECANCELED* = 88; (* Operation canceled *)
333 ELAST* = 91; (* Must be equal largest errno *)
334 ERESTART* = -1; (* restart syscall *)
335 EJUSTRETURN* = -2; (* don't modify regs, just return *)
338 NAME_MAX* = 255;
340 SEEK_SET* = 0;
341 SEEK_CUR* = 1;
342 SEEK_END* = 2;
344 P_tmpdir* = "/tmp";
346 (* O_RDWR, O_NONBLOCK (intFlags) *)
347 O_SHLOCK* = {4}; (* open with shared file lock *)
348 O_EXLOCK* = {5}; (* open with exclusive file lock *)
349 O_ASYNC* = {6}; (* signal pgrp when data ready *)
350 O_NOFOLLOW* = {8}; (* if path is a symlink, don't follow *)
351 O_SYNC* = {7}; (* synchronous writes *)
352 O_RDONLY* = {}; (* open for reading only *)
353 O_WRONLY* = {0}; (* open for writing only *)
354 O_RDWR* = {1}; (* open for reading and writing *)
355 O_ACCMODE* = {0,1}; (* mask for above modes *)
356 O_NONBLOCK* = {2}; (* no delay *)
357 O_APPEND* = {3}; (* set append mode *)
358 O_CREAT* = {9}; (* create if nonexistent *)
359 O_TRUNC* = {10}; (* truncate to zero length *)
360 O_EXCL* = {11}; (* error if already exists *)
361 O_DSYNC* = O_SYNC; (* synchronous data writes *)
362 O_RSYNC* = O_SYNC; (* synchronous reads *)
363 O_NOCTTY* = {15}; (* don't assign controlling terminal *)
364 O_CLOEXEC* = {16}; (* atomically set FD_CLOEXEC *)
365 O_DIRECTORY* = {17}; (* fail if not a directory *)
368 CLOCK_REALTIME* = 0;
369 CLOCK_VIRTUAL* = 1;
370 CLOCK_PROCESS_CPUTIME_ID* = 2;
371 CLOCK_MONOTONIC* = 3;
372 CLOCK_THREAD_CPUTIME_ID* = 4;
373 CLOCK_UPTIME* = 5;
376 TYPE
377 StrArray* = POINTER TO ARRAY [untagged] OF PtrSTR;
378 PtrSTR* = POINTER TO ARRAY [untagged] OF SHORTCHAR;
380 (* PtrVoid, int, long, size_t, ssize_t, off_t, time_t, clock_t, sigjmp_buf *)
381 (* mode_t, intFlags, sigset_t (set) *)
382 PtrVoid* = INTEGER;
383 int* = INTEGER;
384 long* = INTEGER;
385 ulong* = INTEGER;
386 size_t* = INTEGER;
387 ssize_t* = INTEGER;
388 off_t* = LONGINT;
389 clock_t* = LONGINT;
390 clockid_t* = INTEGER;
391 time_t* = LONGINT;
392 mode_t* = SET;
393 pid_t* = INTEGER;
394 uid_t* = INTEGER;
395 gid_t* = INTEGER;
396 dev_t* = INTEGER;
397 ino_t* = LONGINT;
398 nlink_t* = INTEGER;
399 int8_t* = SHORTCHAR;
400 u_int8_t* = SHORTCHAR;
401 int16_t* = SHORTINT;
402 u_int16_t* = SHORTINT;
403 int32_t* = INTEGER;
404 u_int32_t* = INTEGER;
405 int64_t* = LONGINT;
406 u_int64_t* = LONGINT;
407 wchar_t* = INTEGER;
408 sigset_t* = SET;
409 sigjmp_buf* = ARRAY [untagged] 11 OF INTEGER;
410 intFlags* = SET;
411 FILE = ARRAY [untagged] 22 OF INTEGER;
414 tm* = POINTER TO tmDesc;
415 tmDesc* = RECORD [untagged]
416 (* NOTE: check record size *)
417 (* tm_year, tm_mon, tm_mday, tm_hour, tm_min, tm_sec, tm_wday [ , tm_gmtoff ] *)
418 (* OpenBSD 5.4 /usr/include/time.h *)
419 tm_sec*: int; (* seconds after the minute [0-60] *)
420 tm_min*: int; (* minutes after the hour [0-59] *)
421 tm_hour*: int; (* hours since midnight [0-23] *)
422 tm_mday*: int; (* day of the month [1-31] *)
423 tm_mon*: int; (* months since January [0-11] *)
424 tm_year*: int; (* years since 1900 *)
425 tm_wday*: int; (* days since Sunday [0-6] *)
426 tm_yday*: int; (* days since January 1 [0-365] *)
427 tm_isdst*: int; (* Daylight Saving Time flag *)
428 tm_gmtoff*: long; (* offset from UTC in seconds *)
429 tm_zone*: PtrSTR; (* timezone abbreviation *)
430 END;
432 Ptrsiginfo_t* = POINTER TO siginfo_t;
433 siginfo_t = RECORD [untagged]
434 (* si_code, fault address *)
435 (* OpenBSD 5.4 /usr/include/sys/siginfo.h *)
436 si_signo*: int; (* signal from signal.h *)
437 si_code*: int; (* code from above *)
438 si_errno*: int; (* error from errno.h *)
439 _data*: RECORD [union]
440 _pad*: ARRAY [untagged] 29 (* SI_PAD *) OF int; (* for future growth *)
441 _proc*: RECORD [untagged] (* kill(), SIGCLD, siqqueue() *)
442 _pid*: pid_t; (* process ID *)
443 _pdata*: RECORD [union]
444 _kill*: RECORD [untagged]
445 _uid*: uid_t;
446 (*
447 _value*: sigval;
448 *)
449 _value*: int
450 END;
451 _cld*: RECORD [untagged]
452 _utime*: clock_t;
453 _stime*: clock_t;
454 _status*: int;
455 END;
456 END;
457 END;
458 _fault*: RECORD [untagged] (* SIGSEGV, SIGBUS, SIGILL and SIGFPE *)
459 _addr*: PtrVoid; (* faulting address *)
460 _trapno*: int; (* illegal trap number *)
461 END;
462 END;
463 END;
465 Ptrucontext_t* = POINTER TO ucontext_t;
466 ucontext_t = RECORD [untagged]
467 (* IP, SP, FP *)
468 (* OpenBSD 5.4 /usr/include/i386/signal.h struct sigcontext *)
469 sc_gs*: int;
470 sc_fs*: int;
471 sc_es*: int;
472 sc_ds*: int;
473 sc_edi*: int;
474 sc_esi*: int;
475 sc_ebp*: int;
476 sc_ebx*: int;
477 sc_edx*: int;
478 sc_ecx*: int;
479 sc_eax*: int;
480 (* XXX *)
481 sc_eip*: int;
482 sc_cs*: int;
483 sc_eflags*: int;
484 sc_esp*: int;
485 sc_ss*: int;
487 __sc_unused: int;
488 sc_mask*: int; (* signal mask to restore *)
490 sc_trapno*: int; (* XXX should be above *)
491 sc_err*: int;
493 sc_fpstate*: RECORD [union]
494 (* OpenBSD 5.4 /usr/include/i386/npx.h union savefpu *)
495 (*
496 sv_87*: RECORD [untagged]
497 ...
498 END;
499 sv_xmm*: RECORD [untagged]
500 ...
501 END;
502 *)
503 END;
504 END;
506 sigaction_t* = RECORD [untagged]
507 (*
508 sa_sigaction*: PROCEDURE [ccall] (sig: INTEGER; siginfo: Ptrsiginfo_t; context: Ptrucontext_t),
509 sa_flags*: intFlags, sa_mask*: sigset_t
510 *)
511 (* OpenBSD 5.4 /usr/include/sys/signal.h *)
512 sa_sigaction*: PROCEDURE [ccall] (sig: int; siginfo: Ptrsiginfo_t; ctx: Ptrucontext_t);
513 sa_mask*: sigset_t;
514 sa_flags*: intFlags;
515 END;
517 stack_t* = RECORD [untagged]
518 (*
519 ss_sp*: PtrVoid, ss_size*: size_t, ss_flags*: intFlags
520 *)
521 (* OpenBSD 5.4 /usr/include/sys/signal.h *)
522 ss_sp*: PtrVoid; (* signal stack base *)
523 ss_size*: size_t; (* signal stack length *)
524 ss_flags*: intFlags; (* SS_DISABLE and/or SS_ONSTACK *)
525 END;
527 stat_t* = RECORD [untagged]
528 (*
529 NOTE: check record size
530 st_mode*: mode_t, st_size*: off_t, st_mtime*: time_t
531 *)
532 (* OpenBSD 5.4 /usr/include/sys/stat.h *)
533 st_mode*: mode_t;
534 st_dev*: dev_t;
535 st_ino*: ino_t;
536 st_nlink*: nlink_t;
537 st_uid*: uid_t;
538 st_gid*: gid_t;
539 st_rdev*: dev_t;
541 st_atime*: time_t;
542 st_atimensec*: long;
543 st_mtime*: time_t;
544 st_mtimensec*: long;
545 st_ctime*: time_t;
546 st_ctimensec*: long;
548 st_size*: off_t;
549 st_blocks*: int64_t;
550 st_blksize*: u_int32_t;
551 st_flags*: u_int32_t;
552 st_gen*: u_int32_t;
554 __st_birthtime*: time_t;
555 __st_birthtimensec*: long;
556 END;
558 PtrFILE* = PtrVoid;
559 PtrDIR* = PtrVoid;
561 PtrDirent* = POINTER TO Dirent;
562 Dirent = RECORD [untagged]
563 (*
564 d_name*: ARRAY [untagged] NAME_MAX + 1 OF SHORTCHAR
565 *)
566 (* OpenBSD 5.4 /usr/include/sys/dirent.h *)
567 d_fileno*: ino_t; (* file number of entry *)
568 d_off*: off_t; (* offset after this entry *)
569 d_reclen*: u_int16_t; (* length of this record *)
570 d_type*: u_int8_t; (* file type, see below *)
571 d_namlen*: u_int8_t; (* length of string in d_name *)
572 __d_padding: ARRAY [untagged] 4 OF u_int8_t; (* suppress padding after d_name *)
573 d_name*: ARRAY [untagged] 255 + 1 OF SHORTCHAR;
574 END;
576 timespec_t* = RECORD [untagged]
577 (* OpenBSD 5.4 /usr/include/time.h *)
578 tv_sec*: time_t; (* seconds *)
579 tv_nsec*: long; (* and nanoseconds *)
580 END;
582 (*
583 VAR
584 stdin*: INTEGER;
585 timezone*: INTEGER; (* or tm.tm_gmtoff *)
586 *)
587 (*
588 PROCEDURE [ccall] __errno_location* (): PtrVoid;
589 *)
590 (*
591 (* POSIX.1 *)
592 PROCEDURE [ccall] stat* (path: PtrSTR; VAR sp: stat_t): int;
593 *)
594 VAR
595 (* OpenBSD: stdin, stdout, stderr *)
596 __sF*: ARRAY [untagged] 3 OF FILE; (* OpenBSD 5.2 /usr/include/stdio.h *)
597 (*
598 stdin = SYSTEM.ADR(__sF[0])
599 stdout = SYSTEM.ADR(__sF[1])
600 stderr = SYSTEM.ADR(__sF[2])
601 *)
603 PROCEDURE [ccall] __errno_location* ["__errno"] (): PtrVoid;
605 (* POSIX.1 *)
606 PROCEDURE [ccall] stat* (path: PtrSTR; VAR sp: stat_t): int;
609 (* ANSI C 89 *)
610 PROCEDURE [ccall] clock* (): clock_t;
612 (* POSIX.1 *)
613 PROCEDURE [ccall] clock_gettime* (clock_id: clockid_t; VAR tp: timespec_t): int;
615 PROCEDURE [ccall] mmap* (adr: PtrVoid; len: size_t; prot: intFlags; flags: intFlags; fd: int; offset: off_t): PtrVoid;
616 (* BSD *)
617 PROCEDURE [ccall] munmap* (adr: PtrVoid; len: size_t): int;
618 PROCEDURE [ccall] mprotect* (adr: PtrVoid; len: size_t; prot: intFlags): int;
620 (*
621 PROCEDURE [ccall] calloc* (nmemb: size_t; size: size_t): PtrVoid;
622 (* ANSI C 89 *)
623 PROCEDURE [ccall] malloc* (size: size_t): PtrVoid;
624 *)
625 PROCEDURE [ccall] free* (ptr: PtrVoid);
627 (* AT&T *)
628 PROCEDURE [ccall] time* (VAR [nil] t: time_t): time_t;
629 PROCEDURE [ccall] gmtime* (VAR [nil] t: time_t): tm;
630 PROCEDURE [ccall] localtime* (VAR [nil] t: time_t): tm;
632 (* POSIX.1 *)
633 PROCEDURE [ccall] sigsetjmp* (VAR env: sigjmp_buf; savemask: int): int;
634 PROCEDURE [ccall] siglongjmp* (VAR env: sigjmp_buf; val: int);
636 (* POSIX.1 *)
637 PROCEDURE [ccall] sigemptyset* (VAR set: sigset_t): int;
638 PROCEDURE [ccall] sigfillset* (VAR set: sigset_t): int;
639 PROCEDURE [ccall] sigaddset* (VAR set: sigset_t; signo: int): int;
640 PROCEDURE [ccall] sigprocmask* (how: int; VAR [nil] set: sigset_t; VAR [nil] oset: sigset_t): int;
642 (* POSIX.1 *)
643 PROCEDURE [ccall] sigaction* (sig: int; VAR [nil] act: sigaction_t; VAR [nil] oact: sigaction_t): int;
645 (* BSD *)
646 PROCEDURE [ccall] sigaltstack* (VAR [nil] ss: stack_t; VAR [nil] oss: stack_t): int;
648 (* ANSI C 89 *)
649 PROCEDURE [ccall] getenv* (s: PtrSTR): PtrSTR;
651 (* ANSI C 89 *)
652 PROCEDURE [ccall] fopen* (path, mode: PtrSTR): PtrFILE;
653 PROCEDURE [ccall] fclose* (stream: PtrFILE): int;
654 PROCEDURE [ccall] fread* (ptr: PtrVoid; size: size_t; nmemb: size_t; stream: PtrFILE): size_t;
655 PROCEDURE [ccall] fwrite* (ptr: PtrVoid; size: size_t; nmemb: size_t; stream: PtrFILE): size_t;
656 PROCEDURE [ccall] fflush* (s: PtrFILE): int;
657 PROCEDURE [ccall] printf* (s: PtrSTR): int;
658 (* ANSI C 89, XPG4 *)
659 PROCEDURE [ccall] fseek* (stream: PtrFILE; offset: long; whence: int): int;
661 (* POSIX.1 *)
662 PROCEDURE [ccall] rename* (from, to: PtrSTR): int;
663 PROCEDURE [ccall] mkdir* (path: PtrSTR; mode: mode_t): int;
664 PROCEDURE [ccall] opendir* (filename: PtrSTR): PtrDIR;
665 PROCEDURE [ccall] readdir* (dirp: PtrDIR): PtrDirent;
666 PROCEDURE [ccall] closedir* (dirp: PtrDIR): int;
667 (* ANSI C 89, XPG4.2 *)
668 PROCEDURE [ccall] remove* (path: PtrSTR): int;
670 (* POSIX.1 *)
671 PROCEDURE [ccall] getcwd* (buf: PtrSTR; size: size_t): PtrSTR;
673 (* ANSI C 99 *)
674 PROCEDURE [ccall] exit* (status: int);
676 (* ANSI C 89 *)
677 PROCEDURE [ccall] strftime* (buf: PtrSTR; maxsize: size_t; format: PtrSTR; timeptr: tm): size_t;
679 (* XXX: use fread instead *)
680 PROCEDURE [ccall] fgets* (str: PtrSTR; size: int; stream: PtrFILE): PtrSTR;
682 (* POSIX.1 *)
683 PROCEDURE [ccall] open* (path: PtrSTR; flags: intFlags; mode: mode_t): int;
684 PROCEDURE [ccall] write* (d: int; buf: PtrVoid; nbytes: size_t): ssize_t;
685 PROCEDURE [ccall] read* (d: int; buf: PtrVoid; nbytes: size_t): ssize_t;
686 PROCEDURE [ccall] close* (d: int): int;
687 PROCEDURE [ccall] lseek* (d: int; offset: off_t; whence: int): off_t;
689 (* POSIX.1 *)
690 PROCEDURE [ccall] sysconf* (name: int): long;
692 END LinLibc.