]> andersk Git - splint.git/blame - lib/unix.h
andersk / splint.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
*** empty log message ***
[splint.git] / lib / unix.h
CommitLineData
885824d3 1/*
2** unix.h
3*/
4
5/*@-nextlinemacros@*/
6
7/*
8** Extra stuff in some unixen, not in posix.
9*/
10
11/*@unchecked@*/ int signgam;
12
13typedef /*@integraltype@*/ clockid_t;
14
15extern void bcopy (char *b1, /*@out@*/ char *b2, int length)
16 /*@modifies *b2@*/ ; /* Yes, the second parameter is the out param! */
17
18extern int /*@alt lltX_bool@*/ bcmp (char *b1, char *b2, int length) /*@*/ ;
19 /* Return value is NOT like strcmp! */
20
21extern void bzero (/*@out@*/ char *b1, int length) /*@modifies *b1@*/ ;
22extern int ffs (int i) /*@*/ ;
23extern int symlink (char *name1, char *name2) /*@modifies fileSystem@*/ ;
24
25extern int
26 setvbuf_unlocked (FILE *stream, /*@null@*/ /*@exposed@*/ char *buf,
27 int mode, size_t size)
28 /*@modifies internalState@*/ ;
29
30extern void
31 setbuffer (FILE *stream, /*@null@*/ /*@exposed@*/ char *buf, int size)
32 /*@modifies internalState@*/ ;
33
34extern void setlinebuf (FILE *stream) /*@modifies internalState@*/ ;
35
36extern int strerror_r (int errnum, /*@out@*/ char *strerrbuf, int buflen)
37 /*@modifies strerrbuf@*/ ;
38
39extern size_t
40 fread_unlocked (/*@out@*/ void *ptr, size_t size, size_t nitems,
41 FILE *stream)
42 /*@modifies *stream, *ptr;@*/ ;
43
44extern size_t
45 fwrite_unlocked (void *pointer, size_t size, size_t num_items, FILE *stream)
46 /*@modifies *stream;@*/ ;
47
48extern void funlockfile (FILE *file) /*@modifies *file;@*/ ;
49extern void flockfile (FILE *file) /*@modifies *file@*/ ;
50
51extern void /*@alt void * @*/
52 memccpy (/*@returned@*/ /*@out@*/ void *s1,
53 /*@unique@*/ void *s2, int c, size_t n)
54 /*@modifies *s1@*/ ;
55
56extern int strcasecmp (char *s1, char *s2) /*@*/ ;
57extern int strncasecmp (char *s1, char *s2, int n) /*@*/ ;
58extern char *strdup (char *s) /*@*/ ;
59
60extern /*@null@*/ char *tempnam (char *dir, /*@null@*/ char *pfx)
61 /*@modifies internalState@*/ ;
62
63extern /*@null@*/ /*@dependent@*/ char *
64 index (/*@returned@*/ char *s, char c) /*@*/ ;
65
66extern /*@null@*/ /*@dependent@*/ char *
67 rindex (/*@returned@*/ char *s, char c) /*@*/ ;
68
69extern /*@dependent@*/ /*@null@*/ FILE *popen (char *command, char *ttype)
70 /*@modifies fileSystem, errno@*/ ;
71extern int pclose (FILE *stream) /*@modifies fileSystem, *stream, errno@*/ ;
72
73extern double cbrt (double x) /*@modifies errno@*/ ;
74extern double rint (double x) /*@*/ ;
75extern double trunc (double x) /*@*/ ;
76
77/*@constant int ENOTBLK@*/
78/*@constant int ETXTBSY@*/
79/*@constant int EWOULDBLOCK@*/
80/*@constant int EINPROGRESS@*/
81/*@constant int EALREADY@*/
82/*@constant int ENOTSOCK@*/
83/*@constant int EDESTADDRREQ@*/
84/*@constant int EMSGSIZE@*/
85/*@constant int EPROTOTYPE@*/
86/*@constant int ENOPROTOOPT@*/
87/*@constant int EPROTONOSUPPORT@*/
88/*@constant int ESOCKTNOSUPPORT@*/
89/*@constant int EOPNOTSUPP@*/
90/*@constant int EPFNOSUPPORT@*/
91/*@constant int EAFNOSUPPORT@*/
92/*@constant int EADDRINUSE@*/
93/*@constant int EADDRNOTAVAIL@*/
94/*@constant int ENETDOWN@*/
95/*@constant int ENETUNREACH@*/
96/*@constant int ENETRESET@*/
97/*@constant int ECONNABORTED@*/
98/*@constant int ECONNRESET@*/
99/*@constant int ENOBUFS@*/
100/*@constant int EISCONN@*/
101/*@constant int ENOTCONN@*/
102/*@constant int ESHUTDOWN@*/
103/*@constant int ETOOMANYREFS@*/
104/*@constant int ETIMEDOUT@*/
105/*@constant int ECONNREFUSED@*/
106/*@constant int ENAMETOOLONG@*/
107/*@constant int EHOSTDOWN@*/
108/*@constant int EHOSTUNREACH@*/
109/*@constant int ENOTEMPTY@*/
110/*@constant int EPROCLIM@*/
111/*@constant int EUSERS@*/
112/*@constant int EDQUOT@*/
113/*@constant int ESTALE@*/
114/*@constant int EREMOTE@*/
115/*@constant int ENOMSG@*/
116/*@constant int EIDRM@*/
117/*@constant int EALIGN@*/
118/*@constant int EDEADLK@*/
119/*@constant int ENOLCK@*/
120/*@constant int ENOSYS@*/
121/*@constant int EACTIVE@*/
122/*@constant int ENOACTIVE@*/
123/*@constant int ENORESOURCES@*/
124/*@constant int ENOSYSTEM@*/
125/*@constant int ENODUST@*/
126/*@constant int EDUPNOCONN@*/
127/*@constant int EDUPNODISCONN@*/
128/*@constant int EDUPNOTCNTD@*/
129/*@constant int EDUPNOTIDLE@*/
130/*@constant int EDUPNOTWAIT@*/
131/*@constant int EDUPNOTRUN@*/
132/*@constant int EDUPBADOPCODE@*/
133/*@constant int EDUPINTRANSIT@*/
134/*@constant int EDUPTOOMANYCPUS@*/
135/*@constant int ELOOP@*/
136
137/*@constant int LOCK_MAX@*/
138/*@constant int FCHR_MAX@*/
139/*@constant int USI_MAX@*/
140/*@constant int WORD_BIT@*/
141/*@constant int LONG_BIT@*/
142/*@constant long NAME_MAX@*/
143/*@constant long NGROUPS_MAX@*/
144/*@constant long MAX_INPUT@*/
145/*@constant long MAX_CANON@*/
146/*@constant int MAX_CHAR@*/
147/*@constant long OPEN_MAX@*/
148/*@constant int PASS_MAX@*/
149/*@constant int PATH_MAX@*/
150/*@constant int PID_MAX@*/
151/*@constant int SYSPID_MAX@*/
152/*@constant long PIPE_BUF@*/
153/*@constant int PIPE_MAX@*/
154/*@constant int PROC_MAX@*/
155/*@constant int STD_BLK@*/
156/*@constant int SYS_NMLN@*/
157/*@constant int SYS_OPEN@*/
158/*@constant int NZERO@*/
159/*@constant int UID_MAX@*/
160/*@constant long MB_LEN_MAX@*/
161/*@constant int NL_ARGMAX@*/
162/*@constant int NL_MSGMAX@*/
163/*@constant int NL_NMAX@*/
164/*@constant int NL_SETMAX@*/
165/*@constant int NL_TEXTMAX@*/
166/*@constant int NL_LBLMAX@*/
167/*@constant int NL_LANGMAX @*/
168
169/*@constant double M_E@*/
170/*@constant double M_LOG2E@*/
171/*@constant double M_LOG10E@*/
172/*@constant double M_LN2@*/
173/*@constant double M_LN10@*/
174/*@constant double M_PI@*/
175/*@constant double M_PI_2@*/
176/*@constant double M_PI_4@*/
177/*@constant double M_1_PI@*/
178/*@constant double M_2_PI@*/
179/*@constant double M_2_SQRTPI@*/
180/*@constant double M_SQRT2@*/
181/*@constant double M_SQRT1_2@*/
182
183/*@constant double MAXFLOAT@*/
184/*@constant double HUGE@*/
185
186/*@constant int DOMAIN@*/
187/*@constant int SING@*/
188/*@constant int OVERFLOW@*/
189/*@constant int UNDERFLOW@*/
190/*@constant int TLOSS@*/
191/*@constant int PLOSS@*/
192
193extern /*@unchecked@*/ int daylight;
194extern /*@unchecked@*/ long timezone;
195extern /*@unchecked@*/ char *tzname[];
196
197/*@-incondefs@*/
198extern void tzset(void) /*@modifies daylight, timezone, tzname@*/ ;
199/*@=incondefs@*/
200
201typedef unsigned char uchar_t;
202typedef unsigned short ushort_t;
203typedef unsigned int uint_t;
204typedef unsigned long ulong_t;
205typedef volatile unsigned char vuchar_t;
206typedef volatile unsigned short vushort_t;
207typedef volatile unsigned int vuint_t;
208typedef volatile unsigned long vulong_t;
209typedef long label_t;
210typedef int level_t;
211typedef /*@integraltype@*/ daddr_t;
212typedef char *caddr_t;
213typedef long *qaddr_t;
214typedef char *addr_t;
215typedef long physadr_t;
216typedef short cnt_t;
217typedef int chan_t;
218typedef unsigned long rlim_t;
219typedef int paddr_t;
220typedef /*@integraltype@*/ key_t;
221typedef void *mid_t;
222typedef char slab_t[12];
223typedef ulong_t shmatt_t;
224typedef ulong_t msgqnum_t;
225typedef ulong_t msglen_t;
226typedef long timer_t;
227typedef uchar_t uchar;
228typedef ushort_t ushort;
229typedef uint_t uint;
230typedef ulong_t ulong;
231typedef uchar_t u_char;
232typedef ushort_t u_short;
233typedef uint_t u_int;
234typedef ulong_t u_long;
235typedef vuchar_t vu_char;
236typedef vushort_t vu_short;
237typedef vuint_t vu_int;
238typedef vulong_t vu_long;
239typedef long swblk_t;
240typedef u_long fixpt_t;
241typedef long segsz_t;
242typedef /*@abstract@*/ fd_set;
243
244int ttyname_r (int fg, /*@out@*/ char *buffer, int len) /*@modifies buffer@*/ ;
245int ioctl (int d, int /*@alt long@*/ request, /*@out@*/ void *arg)
246 /*@modifies *arg, errno@*/ ; /* depends on request! */
247
248int gethostname (/*@out@*/ char *address, int address_len)
249 /*@modifies address@*/ ;
250
251pid_t vfork (void) /*@modifies fileSystem@*/ ;
252
253
254 struct iovec {
255 void *iov_base;
256 size_t iov_len;
257};
258
259/*@constant int UIO_MAXIOV@*/ /* BSD */
260/*@constant int IOV_MAX@*/ /* supposedly SVR4 */
261
262 extern ssize_t
263readv (int fd, const struct iovec iov[], int iovcnt)
264 /*@modifies iov[].iov_base, fileSystem, errno@*/;
265
266 extern ssize_t
267writev (int fd, const struct iovec iov[], int iovcnt)
268 /*@modifies errno@*/;
269
270/*________________________________________________________________________
271 * poll.h
272 */
273
274 struct poll {
275 int fd;
276 short events;
277 short revents;
278};
279
280/*@constant short POLLIN@*/
281/*@constant short POLLRDNORM@*/
282/*@constant short POLLRDBAND@*/
283/*@constant short POLLPRI@*/
284/*@constant short POLLOUT@*/
285/*@constant short POLLWRNORM@*/
286/*@constant short POLLWRBAND@*/
287/*@constant short POLLERR@*/
288/*@constant short POLLHUP@*/
289/*@constant short POLLNVAL@*/
290
291extern int poll (struct poll pollfd[], unsigned long nfds, int timeout)
292 /*@modifies pollfd[].revents, errno@*/ ;
293
294/*
295** free does not take null
296*/
297
298/*@-incondefs@*/
299extern void free (/*@notnull@*/ /*@out@*/ /*@only@*/ void *p) /*@modifies *p@*/ ;
300/*@=incondefs@*/
301
302/*________________________________________________________________________
303 * sys/socket.h
304 */
305
306/*@constant int SOCK_STREAM@*/
307/*@constant int SOCK_DGRAM@*/
308/*@constant int SOCK_RAW@*/
309/*@constant int SOCK_RDM@*/
310/*@constant int SOCK_SEQPACKET@*/
311/*@constant int SO_DEBUG@*/
312/*@constant int SO_ACCEPTCONN@*/
313/*@constant int SO_REUSEADDR@*/
314/*@constant int SO_KEEPALIVE@*/
315/*@constant int SO_DONTROUTE@*/
316/*@constant int SO_BROADCAST@*/
317/*@constant int SO_USELOOPBACK@*/
318/*@constant int SO_LINGER@*/
319/*@constant int SO_OOBINLINE@*/
320/*@constant int SO_REUSEPORT@*/
321/*@constant int SO_SNDBUF@*/
322/*@constant int SO_RCVBUF@*/
323/*@constant int SO_SNDLOWAT@*/
324/*@constant int SO_RCVLOWAT@*/
325/*@constant int SO_SNDTIMEO@*/
326/*@constant int SO_RCVTIMEO@*/
327/*@constant int SO_ERROR@*/
328/*@constant int SO_TYPE@*/
329/*@constant int SOL_SOCKET@*/
330/*@constant int AF_UNSPEC@*/
331/*@constant int AF_LOCAL@*/
332/*@constant int AF_UNIX@*/
333/*@constant int AF_INET@*/
334/*@constant int AF_IMPLINK@*/
335/*@constant int AF_PUP@*/
336/*@constant int AF_CHAOS@*/
337/*@constant int AF_NS@*/
338/*@constant int AF_ISO@*/
339/*@constant int AF_OSI@*/
340/*@constant int AF_ECMA@*/
341/*@constant int AF_DATAKIT@*/
342/*@constant int AF_CCITT@*/
343/*@constant int AF_SNA@*/
344/*@constant int AF_DECnet@*/
345/*@constant int AF_DLI@*/
346/*@constant int AF_LAT@*/
347/*@constant int AF_HYLINK@*/
348/*@constant int AF_APPLETALK@*/
349/*@constant int AF_ROUTE@*/
350/*@constant int AF_LINK@*/
351/*@constant int pseudo_AF_XTP@*/
352/*@constant int AF_COIP@*/
353/*@constant int AF_CNT@*/
354/*@constant int pseudo_AF_RTIP@*/
355/*@constant int AF_IPX@*/
356/*@constant int AF_SIP@*/
357/*@constant int pseudo_AF_PIP@*/
358/*@constant int AF_ISDN@*/
359/*@constant int AF_E164@*/
360/*@constant int AF_MAX@*/
361/*@constant int MSG_OOB@*/
362/*@constant int MSG_PEEK@*/
363/*@constant int MSG_DONTROUTE@*/
364/*@constant int MSG_EOR@*/
365/*@constant int MSG_TRUNC@*/
366/*@constant int MSG_CTRUNC@*/
367/*@constant int MSG_WAITALL@*/
368/*@constant int MSG_DONTWAIT@*/
369/*@constant int MSG_EOF@*/
370/*@constant int MSG_COMPAT@*/
371/*@constant int PF_UNSPEC@*/
372/*@constant int PF_LOCAL@*/
373/*@constant int PF_UNIX@*/
374/*@constant int PF_INET@*/
375/*@constant int PF_IMPLINK@*/
376/*@constant int PF_PUP@*/
377/*@constant int PF_CHAOS@*/
378/*@constant int PF_NS@*/
379/*@constant int PF_ISO@*/
380/*@constant int PF_OSI@*/
381/*@constant int PF_ECMA@*/
382/*@constant int PF_DATAKIT@*/
383/*@constant int PF_CCITT@*/
384/*@constant int PF_SNA@*/
385/*@constant int PF_DECnet@*/
386/*@constant int PF_DLI@*/
387/*@constant int PF_LAT@*/
388/*@constant int PF_HYLINK@*/
389/*@constant int PF_APPLETALK@*/
390/*@constant int PF_ROUTE@*/
391/*@constant int PF_LINK@*/
392/*@constant int PF_XTP@*/
393/*@constant int PF_COIP@*/
394/*@constant int PF_CNT@*/
395/*@constant int PF_SIP@*/
396/*@constant int PF_IPX@*/
397/*@constant int PF_RTIP@*/
398/*@constant int PF_PIP@*/
399/*@constant int PF_ISDN@*/
400/*@constant int PF_MAX@*/
401/*@constant int NET_MAXID@*/
402/*@constant int NET_RT_DUMP@*/
403/*@constant int NET_RT_FLAGS@*/
404/*@constant int NET_RT_IFLIST@*/
405/*@constant int NET_RT_MAXID@*/
406/*@constant int SOMAXCONN@*/
407/*@constant int SCM_RIGHTS@*/
408
409 struct sockaddr {
410 u_char sa_len; /* total length */
411 u_char sa_family; /* address family */
412 char sa_data[14]; /* actually longer; address value */
413};
414
415 struct linger {
416 int l_onoff; /* option on/off */
417 int l_linger; /* linger time */
418};
419
420 struct sockproto {
421 u_short sp_family; /* address family */
422 u_short sp_protocol; /* protocol */
423};
424 struct msghdr {
425 caddr_t msg_name; /* optional address */
426 u_int msg_namelen; /* size of address */
427 struct iovec *msg_iov; /* scatter/gather array */
428 u_int msg_iovlen; /* # elements in msg_iov */
429 caddr_t msg_control; /* ancillary data, see below */
430 u_int msg_controllen; /* ancillary data buffer len */
431 int msg_flags; /* flags on received message */
432};
433
434 struct cmsghdr {
435 u_int cmsg_len; /* data byte count, including hdr */
436 int cmsg_level; /* originating protocol */
437 int cmsg_type; /* protocol-specific type */
438/* followed by u_char cmsg_data[]; */
439};
440
441 extern int
442accept (int s, struct sockaddr *addr, int *addrlen)
443 /*@modifies *addrlen, errno@*/;
444
445 extern int
446bind (int s, struct sockaddr *name, int namelen)
447 /*@modifies errno, fileSystem@*/;
448
449 extern int
450connect (int s, struct sockaddr *name, int namelen)
451 /*@modifies errno, internalState@*/;
452
453 extern int
454getpeername (int s, /*@out@*/ struct sockaddr *name, int *namelen)
455 /*@modifies *name, *namelen, errno@*/;
456
457 extern int
458getsockname (int s, struct sockaddr *name, int *namelen)
459 /*@modifies *name, *namelen, errno@*/;
460
461 extern int
462getsockopt (int s, int level, int optname, /*@out@*/ void *optval, int *optlen)
463 /*@modifies *optval, *optlen, errno@*/;
464
465 extern int
466listen (int s, int backlog)
467 /*@modifies errno, internalState@*/;
468
469 extern ssize_t
470recv (int s, /*@out@*/ void *buf, size_t len, int flags)
471 /*@modifies *buf, errno@*/;
472
473 extern ssize_t
474recvfrom (int s, void *buf, size_t len, int flags, /*@null@*/ struct sockaddr *from, int *fromlen)
475 /*@modifies *buf, *from, *fromlen, errno@*/;
476
477 extern ssize_t
478recvmsg (int s, struct msghdr *msg, int flags)
479 /*@modifies msg->msg_iov->iov_base[], errno@*/;
480
481 extern ssize_t
482send (int s, const void *msg, size_t len, int flags)
483 /*@modifies errno@*/;
484
485 extern ssize_t
486sendto (int s, const void *msg, size_t len, int flags, const struct sockaddr *to, int tolen)
487 /*@modifies errno@*/;
488
489 extern ssize_t
490sendmsg (int s, const struct msghdr *msg, int flags)
491 /*@modifies errno@*/;
492
493 extern int
494setsockopt (int s, int level, int optname, const void *optval, int optlen)
495 /*@modifies internalState, errno@*/;
496
497 extern int
498shutdown (int s, int how)
499 /*@modifies errno@*/;
500
501 extern int
502socket (int domain, int type, int protocol)
503 /*@modifies errno@*/;
504
505 extern int
506socketpair (int d, int type, int protocol, /*@out@*/ int *sv)
507 /*@modifies errno@*/;
508
509/*@constant int BADSIG@*/
510/*@constant int SA_ONSTACK@*/
511/*@constant int SA_RESTART@*/
512/*@constant int SA_DISABLE@*/
513/*@constant int SIGBUS@*/
514/*@constant int SIGEMT@*/
515/*@constant int SIGINFO@*/
516/*@constant int SIGIO@*/
517/*@constant int SIGIOT@*/
518/*@constant int SIGPOLL@*/
519/*@constant int SIGPROF@*/
520/*@constant int SIGPWR@*/
521/*@constant int SIGSYS@*/
522/*@constant int SIGTRAP@*/
523/*@constant int SIGURG@*/
524/*@constant int SIGVTALRM@*/
525/*@constant int SIGWINCH@*/
526/*@constant int SIGXCPU@*/
527/*@constant int SIGXFSZ@*/
528
529extern void psignal (int sig, const char *msg)
530 /*@modifies fileSystem@*/;
531
532/*@unchecked@*/ extern char *optarg;
533/*@unchecked@*/ extern int optind;
534/*@unchecked@*/ extern int optopt;
535/*@unchecked@*/ extern int opterr;
536/*@unchecked@*/ extern int optreset;
537
538 extern int
539getopt (int argc, char * const *argv, const char *optstring)
540 /*@globals optarg, optind, optopt, opterr, optreset@*/
541 /*@modifies optarg, optind, optopt@*/;
542
543 extern int
544setenv (const char *name, const char *value, int overwrite)
545 /*@globals environ@*/
546 /*@modifies *environ, errno@*/;
547
548 extern int
549putenv (const char *string)
550 /*@globals environ@*/
551 /*@modifies *environ, errno@*/;
552
553 extern void
554unsetenv (const char *name)
555 /*@globals environ@*/
556 /*@modifies *environ@*/;
557
558/*________________________________________________________________________
559 * sys/wait.h
560 */
561
562 extern int
563WCOREDUMP (int x)
564 /*@*/;
565
566 extern int
567W_EXITCODE (int ret, int sig)
568 /*@*/;
569
570 extern int
571W_STOPCODE (int sig)
572 /*@*/;
573
574/*@constant int WAIT_ANY@*/
575/*@constant int WAIT_MYPGRP@*/
576/*@constant int WSTOPPED@*/
577
578 extern pid_t
579wait3 (int *statloc, int options, /*@null@*/ /*@out@*/ struct rusage *rusage)
580 /*@modifies *statloc, *rusage, errno@*/;
581
582 extern pid_t
583wait4 (pid_t p, int *statloc, int opt, /*@null@*/ /*@out@*/ struct rusage *r)
584 /*@modifies *statloc, *r, errno@*/;
585
586struct timeval {
587 long tv_sec;
588 long tv_usec;
589} ;
590
591struct timespec {
592 long ts_sec;
593 long ts_nsec;
594} ;
595
596struct timezone {
597 int tz_minuteswest;
598 int tz_dsttime;
599} ;
600
601/*@constant int DST_NONE@*/
602/*@constant int DST_USA@*/
603/*@constant int DST_AUST@*/
604/*@constant int DST_WET@*/
605/*@constant int DST_MET@*/
606/*@constant int DST_EET@*/
607/*@constant int DST_CAN@*/
608
609/*@constant int ITIMER_PROF@*/
610/*@constant int ITIMER_REAL@*/
611/*@constant int ITIMER_VIRTUAL@*/
612
613 struct itimerval {
614 struct timeval it_interval;
615 struct timeval it_value;
616};
617
618 struct clockinfo {
619 int hz;
620 int tick;
621 int stathz;
622 int profhz;
623};
624
625 extern int
626adjtime (const struct timeval *delta, /*@null@*/ /*@out@*/ struct timeval *olddelta)
627 /*@modifies internalState, *olddelta, errno@*/;
628
629 extern int
630getitimer (int which, /*@out@*/ struct itimerval *value)
631 /*@modifies errno, *value*/;
632
633 extern int
634gettimeofday (/*@null@*/ /*@out@*/ struct timeval *tp, /*@null@*/ /*@out@*/ struct timezone *tzp)
635 /*@modifies *tp, *tzp, errno@*/;
636
637 extern int
638setitimer (int which, struct itimerval *val, /*@null@*/ /*@out@*/ struct itimerval *oval)
639 /*@modifies *oval, errno, internalState*/;
640
641 extern int
642settimeofday (const struct timeval *t, const struct timezone *z)
643 /*@modifies internalState, errno@*/;
644
645 extern int
646utimes (const char *file, /*@null@*/ const struct timeval *times)
647 /*@modifies fileSystem, errno*/;
648
649/*________________________________________________________________________
650 * sys/mman.h
651 */
652
653/*@constant int PROT_READ@*/
654/*@constant int PROT_WRITE@*/
655/*@constant int PROT_EXEC@*/
656/*@constant int MAP_SHARED@*/
657/*@constant int MAP_PRIVATE@*/
658/*@constant int MAP_COPY@*/
659/*@constant int MAP_FIXED@*/
660/*@constant int MAP_RENAME@*/
661/*@constant int MAP_NORESERVE@*/
662/*@constant int MAP_INHERIT@*/
663/*@constant int MAP_NOEXTEND@*/
664/*@constant int MAP_HASSEMAPHORE@*/
665/*@constant int MS_ASYNC@*/
666/*@constant int MS_INVALIDATE@*/
667/*@constant int MAP_FILE@*/
668/*@constant int MAP_ANON@*/
669/*@constant int MADV_NORMAL@*/
670/*@constant int MADV_RANDOM@*/
671/*@constant int MADV_SEQUENTIAL@*/
672/*@constant int MADV_WILLNEED@*/
673/*@constant int MADV_DONTNEED@*/
674
675 extern caddr_t
676mmap (/*@null@*/ /*@returned@*/ caddr_t addr, size_t len, int prot, int flags, int fd, off_t offset)
677 /*@modifies addr@*/;
678
679 extern int
680madvise (caddr_t addr, int len, int behav)
681 /*@*/;
682
683 extern int
684mprotect (caddr_t addr, int len, int prot)
685 /*@*/;
686
687 extern int
688munmap (caddr_t addr, size_t len)
689 /*@*/;
690
691 extern int
692msync (caddr_t addr, int len, int flags)
693 /*@*/;
694
695 extern int
696mlock (caddr_t addr, size_t len)
697 /*@*/;
698
699 extern int
700munlock (caddr_t addr, size_t len)
701 /*@*/;
702
703
704/*________________________________________________________________________
705 * sys/ioctl.h
706 */
707
708 struct winsize {
709 unsigned short ws_row;
710 unsigned short ws_col;
711 unsigned short ws_xpixel;
712 unsigned short ws_ypixel;
713};
714
715/*@constant int TIOCMODG@*/
716/*@constant int TIOCMODS@*/
717/*@constant int TIOCM_LE@*/
718/*@constant int TIOCM_DTR@*/
719/*@constant int TIOCM_RTS@*/
720/*@constant int TIOCM_ST@*/
721/*@constant int TIOCM_SR@*/
722/*@constant int TIOCM_CTS@*/
723/*@constant int TIOCM_CAR@*/
724/*@constant int TIOCM_CD@*/
725/*@constant int TIOCM_RNG@*/
726/*@constant int TIOCM_RI@*/
727/*@constant int TIOCM_DSR@*/
728/*@constant int TIOCEXCL@*/
729/*@constant int TIOCNXCL@*/
730/*@constant int TIOCFLUSH@*/
731/*@constant int TIOCGETA@*/
732/*@constant int TIOCSETA@*/
733/*@constant int TIOCSETAW@*/
734/*@constant int TIOCSETAF@*/
735/*@constant int TIOCGETD@*/
736/*@constant int TIOCSETD@*/
737/*@constant int TIOCSBRK@*/
738/*@constant int TIOCCBRK@*/
739/*@constant int TIOCSDTR@*/
740/*@constant int TIOCCDTR@*/
741/*@constant int TIOCGPGRP@*/
742/*@constant int TIOCSPGRP@*/
743/*@constant int TIOCOUTQ@*/
744/*@constant int TIOCSTI@*/
745/*@constant int TIOCNOTTY@*/
746/*@constant int TIOCPKT@*/
747/*@constant int TIOCPKT_DATA@*/
748/*@constant int TIOCPKT_FLUSHREAD@*/
749/*@constant int TIOCPKT_FLUSHWRITE@*/
750/*@constant int TIOCPKT_STOP@*/
751/*@constant int TIOCPKT_START@*/
752/*@constant int TIOCPKT_NOSTOP@*/
753/*@constant int TIOCPKT_DOSTOP@*/
754/*@constant int TIOCPKT_IOCTL@*/
755/*@constant int TIOCSTOP@*/
756/*@constant int TIOCSTART@*/
757/*@constant int TIOCMSET@*/
758/*@constant int TIOCMBIS@*/
759/*@constant int TIOCMBIC@*/
760/*@constant int TIOCMGET@*/
761/*@constant int TIOCREMOTE@*/
762/*@constant int TIOCGWINSZ@*/
763/*@constant int TIOCSWINSZ@*/
764/*@constant int TIOCUCNTL@*/
765/*@constant int TIOCSTAT@*/
766/*@constant int TIOCCONS@*/
767/*@constant int TIOCSCTTY@*/
768/*@constant int TIOCEXT@*/
769/*@constant int TIOCSIG@*/
770/*@constant int TIOCDRAIN@*/
771/*@constant int TIOCMSDTRWAIT@*/
772/*@constant int TIOCMGDTRWAIT@*/
773/*@constant int TIOCTIMESTAMP@*/
774/*@constant int TIOCSDRAINWAIT@*/
775/*@constant int TIOCGDRAINWAIT@*/
776/*@constant int TTYDISC@*/
777/*@constant int TABLDISC@*/
778/*@constant int SLIPDISC@*/
779/*@constant int PPPDISC@*/
780
781/*@constant int MAXHOSTNAMELEN@*/
782
783 extern void
784FD_CLR (int n, fd_set *p)
785 /*@modifies *p@*/;
786
787 extern void
788FD_COPY (fd_set *f, /*@out@*/ fd_set *t)
789 /*@modifies *t@*/;
790
791 extern int /*@alt lltX_bool@*/
792FD_ISSET (int n, fd_set *p)
793 /*@*/;
794
795 extern void
796FD_SET (int n, fd_set *p)
797 /*@modifies *p@*/;
798
799 extern void
800FD_ZERO (fd_set /*@out@*/ *p)
801 /*@modifies *p@*/;
802
803 extern int
804fchdir (int fd)
805 /*@modifies internalState, errno@*/;
806
807 extern int
808fchown (int fd, uid_t owner, gid_t group)
809 /*@modifies errno, fileSystem@*/;
810
811 extern int
812fsync (int fd)
813 /*@modifies errno, fileSystem@*/;
814
815 extern int
816ftruncate (int fd, off_t length)
817 /*@modifies errno, fileSystem@*/;
818
819 extern int
820gethostname (/*@out@*/ char *name, int namlen)
821 /*@modifies *name@*/;
822
823 extern int
824initgroups (const char *name, int basegid)
825 /*@modifies internalState@*/;
826
827 extern int
828lchown (const char *path, uid_t owner, gid_t group)
829 /*@modifies errno, fileSystem@*/;
830
831 extern int
832readlink (const char *path, /*@out@*/ char *buf, int size)
833 /*@modifies *buf, errno@*/;
834
835 extern int
836select (int mfd, fd_set /*@null@*/ *r, fd_set /*@null@*/ *w, fd_set /*@null@*/ *e, struct timeval *t)
837 /*@modifies *r, *w, *e, *t, errno@*/;
838
839 extern int
840setegid (gid_t egid)
841 /*@modifies errno, internalState@*/;
842
843 extern int
844seteuid (uid_t euid)
845 /*@modifies errno, internalState@*/;
846
847 extern int
848setgroups (int ngroups, const gid_t *gidset)
849 /*@modifies errno, internalState@*/;
850
851 extern int
852setregid (gid_t rgid, gid_t egid)
853 /*@modifies errno, internalState@*/;
854
855 extern int
856setreuid (gid_t ruid, gid_t euid)
857 /*@modifies errno, internalState@*/;
858
859 extern void
860sync (void)
861 /*@modifies fileSystem@*/;
862
863 extern int
864symlink (const char *path, const char *path2)
865 /*@modifies fileSystem@*/;
866
867 extern int
868truncate (const char *name, off_t length)
869 /*@modifies errno, fileSystem@*/;
870
871/*@constant int EBADRPC@*/
872/*@constant int ERPCMISMATCH@*/
873/*@constant int EPROGUNAVAIL@*/
874/*@constant int EPROGMISMATCH@*/
875/*@constant int EPROCUNAVAIL@*/
876/*@constant int EFTYPE@*/
877/*@constant int EAUTH@*/
878/*@constant int ENEEDAUTH@*/
879/*@constant int ELAST@*/
880
881/*________________________________________________________________________
882 * tar.h
883 */
884
885/*@unchecked@*/ extern char *TMAGIC;
886/*@constant int TMAGLEN@*/
887/*@unchecked@*/ extern char *TVERSION;
888/*@constant int TVERSLEN@*/
889
890/*@constant int REGTYPE@*/
891/*@constant int AREGTYPE@*/
892/*@constant int LNKTYPE@*/
893/*@constant int SYMTYPE@*/
894/*@constant int CHRTYPE@*/
895/*@constant int BLKTYPE@*/
896/*@constant int DIRTYPE@*/
897/*@constant int FIFOTYPE@*/
898/*@constant int CONTTYPE@*/
899
900/*@constant int TSUID@*/
901/*@constant int TSGID@*/
902/*@constant int TSVTX@*/
903
904/*@constant int TUREAD@*/
905/*@constant int TUWRITE@*/
906/*@constant int TUEXEC@*/
907/*@constant int TGREAD@*/
908/*@constant int TGWRITE@*/
909/*@constant int TGEXEC@*/
910/*@constant int TOREAD@*/
911/*@constant int TOWRITE@*/
912/*@constant int TOEXEC@*/
913
914struct ipc_perm {
915 uid_t uid; /* user id */
916 gid_t gid; /* group id */
917 uid_t cuid; /* creator user id */
918 gid_t cgid; /* creator group id */
919 mode_t mode; /* r/w permission */
920 ulong seq; /* slot usage sequence number */
921 key_t key; /* user specified msg/sem/shm key */
922} ;
923
924/*@constant int IPC_R@*/
925/*@constant int IPC_W@*/
926/*@constant int IPC_M@*/
927/*@constant int IPC_CREAT@*/
928/*@constant int IPC_EXCL@*/
929/*@constant int IPC_NOWAIT@*/
930/*@constant key_t IPC_PRIVATE@*/
931/*@constant int IPC_RMID@*/
932/*@constant int IPC_SET@*/
933/*@constant int IPC_STAT@*/
934
935/*________________________________________________________________________
936 * sys/msg.h
937 */
938
939 struct msqid_ds {
940 struct ipc_perm msg_perm; /* msg queue permission bits */
941 struct msg *msg_first; /* first message in the queue */
942 struct msg *msg_last; /* last message in the queue */
943 u_long msg_cbytes; /* number of bytes in use on the queue */
944 u_long msg_qnum; /* number of msgs in the queue */
945 u_long msg_qbytes; /* max # of bytes on the queue */
946 pid_t msg_lspid; /* pid of last msgsnd() */
947 pid_t msg_lrpid; /* pid of last msgrcv() */
948 time_t msg_stime; /* time of last msgsnd() */
949 time_t msg_rtime; /* time of last msgrcv() */
950 time_t msg_ctime; /* time of last msgctl() */
951};
952
953 struct mymesg {
954 long mtype; /* message type (+ve integer) */
955 char mtext[]; /* message body */
956};
957
958/*@constant int MSG_NOERROR@*/
959/*@constant int MSGMAX@*/
960/*@constant int MSGMNB@*/
961/*@constant int MSGMNI@*/
962/*@constant int MSGTQL@*/
963
964 extern int
965msgctl (int id , int cmd, /*@out@*/ struct msqid_ds *buf)
966 /*@modifies errno, *buf@*/;
967
968 extern int
969msgget (key_t key, int flag)
970 /*@modifies errno@*/;
971
972 extern int
973msgrcv (int id, /*@out@*/ void *ptr, size_t nbytes, long type, int flags)
974 /*@modifies errno, *ptr@*/;
975
976 extern int
977msgsnd (int id, const void *ptr, size_t nbytes, int flag)
978 /*@modifies errno@*/;
979
980/*________________________________________________________________________
981 * sys/sem.h
982 */
983
984 struct semid_ds {
985 struct ipc_perm sem_perm;
986 struct sem *sem_base;
987 ushort sem_nsems;
988 time_t sem_otime;
989 time_t sem_ctime;
990};
991
992 struct sem {
993 ushort semval;
994 pid_t sempid;
995 ushort semncnt;
996 ushort semzcnt;
997};
998
999 union semun {
1000 int val;
1001 struct semid_ds *buf;
1002 ushort *array;
1003};
1004
1005 struct sembuf {
1006 ushort sem_num;
1007 short sem_op;
1008 short sem_flg;
1009};
1010
1011/*@constant int SEM_A@*/
1012/*@constant int SEMAEM@*/
1013/*@constant int SEMMNI@*/
1014/*@constant int SEMMNS@*/
1015/*@constant int SEMMNU@*/
1016/*@constant int SEMMSL@*/
1017/*@constant int SEMOPN@*/
1018/*@constant int SEM_R@*/
1019/*@constant int SEMUME@*/
1020/*@constant int SEM_UNDO@*/
1021/*@constant int SEMVMX@*/
1022/*@constant int GETVAL@*/
1023/*@constant int SETVAL@*/
1024/*@constant int GETPID@*/
1025/*@constant int GETNCNT@*/
1026/*@constant int GETZCNT@*/
1027/*@constant int GETALL@*/
1028/*@constant int SETALL@*/
1029
1030/*@constant int ERMID@*/
1031
1032 extern int
1033semctl (int id, int semnum, int cmd, union semun arg)
1034 /*@modifies errno@*/;
1035
1036 extern int
1037semget (key_t key, int nsems, int flag)
1038 /*@modifies errno@*/;
1039
1040 extern int
1041semop (int id, struct sembuf *semoparray, size_t nops)
1042 /*@modifies errno@*/;
1043
1044/*________________________________________________________________________
1045 * sys/shm.h
1046 */
1047
1048 struct shmid_ds {
1049 struct ipc_perm shm_perm;
1050 int shm_segsz;
1051 ushort shm_lkcnt;
1052 pid_t shm_lpid;
1053 pid_t shm_cpid;
1054 ulong shm_nattch;
1055 ulong shm_cnattch;
1056 time_t shm_atime;
1057 time_t shm_dtime;
1058 time_t shm_ctime;
1059};
1060
1061/*@constant int SHMLBA@*/
1062/*@constant int SHM_LOCK@*/
1063/*@constant int SHMMAX@*/
1064/*@constant int SHMMIN@*/
1065/*@constant int SHMMNI@*/
1066/*@constant int SHM_R@*/
1067/*@constant int SHM_RDONLY@*/
1068/*@constant int SHM_RND@*/
1069/*@constant int SHMSEG@*/
1070/*@constant int SHM_W@*/
1071/*@constant int SHM_UNLOCK@*/
1072
1073 void *
1074shmat (int id, /*@null@*/ void *addr, int flag)
1075 /*@modifies errno@*/;
1076
1077 extern int
1078shmctl (int id, int cmd, /*@out@*/ struct shmid_ds *buf)
1079 /*@modifies errno, *buf@*/;
1080
1081 extern int
1082shmdt (void *addr)
1083 /*@modifies errno@*/;
1084
1085 extern int
1086shmget (key_t key, int size, int flag)
1087 /*@modifies errno@*/;
1088
1089
1090/*________________________________________________________________________
1091 * regex.h -- intended to be POSIX 1003.2 compliant
1092 */
1093
1094 typedef off_t regoff_t;
1095
1096 typedef struct {
1097 int re_magic;
1098 size_t re_nsub; /* number of parenthesized subexpressions */
1099 char *re_endp; /* end pointer for REG_PEND */
1100 struct re_guts *re_g; /* none of your business :-) */
1101} regex_t;
1102
1103 typedef struct {
1104 regoff_t rm_so; /* start of match */
1105 regoff_t rm_eo; /* end of match */
1106} regmatch_t;
1107
1108/* regcomp() flags */
1109/*@constant int REG_BASIC@*/
1110/*@constant int REG_EXTENDED@*/
1111/*@constant int REG_ICASE@*/
1112/*@constant int REG_NOSUB@*/
1113/*@constant int REG_NEWLINE@*/
1114/*@constant int REG_NOSPEC@*/
1115/*@constant int REG_PEND@*/
1116/*@constant int REG_DUMP@*/
1117
1118/* regerror() flags */
1119/*@constant int REG_NOMATCH@*/
1120/*@constant int REG_BADPAT@*/
1121/*@constant int REG_ECOLLATE@*/
1122/*@constant int REG_ECTYPE@*/
1123/*@constant int REG_EESCAPE@*/
1124/*@constant int REG_ESUBREG@*/
1125/*@constant int REG_EBRACK@*/
1126/*@constant int REG_EPAREN@*/
1127/*@constant int REG_EBRACE@*/
1128/*@constant int REG_BADBR@*/
1129/*@constant int REG_ERANGE@*/
1130/*@constant int REG_ESPACE@*/
1131/*@constant int REG_BADRPT@*/
1132/*@constant int REG_EMPTY@*/
1133/*@constant int REG_ASSERT@*/
1134/*@constant int REG_INVARG@*/
1135/*@constant int REG_ATOI@*/ /* non standard */
1136/*@constant int REG_ITOA@*/ /* non standard */
1137
1138/* regexec() flags */
1139/*@constant int REG_NOTBOL@*/
1140/*@constant int REG_NOTEOL@*/
1141/*@constant int REG_STARTEND@*/
1142/*@constant int REG_TRACE@*/
1143/*@constant int REG_LARGE@*/
1144/*@constant int REG_BACKR@*/
1145
1146 extern int
1147regcomp (/*@out@*/ regex_t *preg, const char *pattern, int flags)
1148 /*@modifies *preg@*/;
1149
1150 extern size_t
1151regerror (int code, const regex_t *re, /*@out@*/ char *errbuf, size_t bufsize)
1152 /*@modifies *errbuf@*/;
1153
1154 extern int
1155regexec (const regex_t *preg, const char *s, size_t n, /*@out@*/ regmatch_t *m, int f)
1156 /*@modifies *m@*/;
1157
1158 extern void
1159regfree (regex_t *p)
1160 /*@modifies *p@*/;
1161
1162/*________________________________________________________________________
1163 * syslog.h
1164 */
1165
1166/*@constant int LOG_EMERG@*/
1167/*@constant int LOG_ALERT@*/
1168/*@constant int LOG_CRIT@*/
1169/*@constant int LOG_ERR@*/
1170/*@constant int LOG_WARNING@*/
1171/*@constant int LOG_NOTICE@*/
1172/*@constant int LOG_INFO@*/
1173/*@constant int LOG_DEBUG@*/
1174
1175/*@constant int LOG_KERN@*/
1176/*@constant int LOG_USER@*/
1177/*@constant int LOG_MAIL@*/
1178/*@constant int LOG_DAEMON@*/
1179/*@constant int LOG_AUTH@*/
1180/*@constant int LOG_SYSLOG@*/
1181/*@constant int LOG_LPR@*/
1182/*@constant int LOG_NEWS@*/
1183/*@constant int LOG_UUCP@*/
1184/*@constant int LOG_CRON@*/
1185/*@constant int LOG_AUTHPRIV@*/
1186/*@constant int LOG_FTP@*/
1187/*@constant int LOG_LOCAL0@*/
1188/*@constant int LOG_LOCAL1@*/
1189/*@constant int LOG_LOCAL2@*/
1190/*@constant int LOG_LOCAL3@*/
1191/*@constant int LOG_LOCAL4@*/
1192/*@constant int LOG_LOCAL5@*/
1193/*@constant int LOG_LOCAL6@*/
1194/*@constant int LOG_LOCAL7@*/
1195
1196/*@constant int LOG_PID@*/
1197/*@constant int LOG_CONS@*/
1198/*@constant int LOG_ODELAY@*/
1199/*@constant int LOG_NDELAY@*/
1200/*@constant int LOG_NOWAIT@*/
1201/*@constant int LOG_PERROR@*/
1202
1203 extern int
1204LOG_MASK (int pri)
1205 /*@*/;
1206
1207 extern int
1208LOG_UPTO (int pri)
1209 /*@*/;
1210
1211 extern void
1212closelog (void)
1213 /*@modifies fileSystem@*/;
1214
1215 extern void
1216openlog (const char *ident, int logopt, int facility)
1217 /*@modifies fileSystem@*/;
1218
1219 extern int
1220setlogmask (int maskpri)
1221 /*@modifies internalState@*/;
1222
1223 extern void /*@printflike@*/
1224syslog (int priority, const char *message, ...)
1225 /*@modifies fileSystem@*/;
1226
1227 extern void
1228vsyslog (int priority, const char *message, va_list args)
1229 /*@modifies fileSystem@*/;
1230
1231/*________________________________________________________________________
1232 * pwd.h
1233 */
1234
1235 extern extern void
1236endpwent (void)
1237 /*@modifies internalState@*/;
1238
1239 extern /*@null@*/ struct passwd *
1240getpwent (void)
1241 /*@modifies internalState@*/;
1242
1243 extern int
1244setpassent (int stayopen)
1245 /*@modifies internalState@*/;
1246
1247 extern int
1248setpwent (void)
1249 /*@modifies internalState@*/;
1250
1251/*________________________________________________________________________
1252 * grp.h
1253 */
1254
1255 extern void
1256endgrent (void)
1257 /*@modifies internalState@*/;
1258
1259 extern /*@null@*/ struct group *
1260getgrent (void)
1261 /*@modifies internalState@*/;
1262
1263 extern int
1264setgrent (void)
1265 /*@modifies internalState@*/;
1266
1267 extern void
1268setgrfile (const char *name)
1269 /*@modifies internalState@*/;
1270
1271 extern int
1272setgroupent (int stayopen)
1273 /*@modifies internalState@*/;
1274
1275/*________________________________________________________________________
1276 * sys/stat.h
1277 */
1278
1279/*@constant int S_ISTXT@*/
1280/*@constant int S_IREAD@*/
1281/*@constant int S_IWRITE@*/
1282/*@constant int S_IEXEC@*/
1283/*@constant int S_IFMT@*/
1284/*@constant int S_IFIFO@*/
1285/*@constant int S_IFCHR@*/
1286/*@constant int S_IFDIR@*/
1287/*@constant int S_IFBLK@*/
1288/*@constant int S_IFREG@*/
1289/*@constant int S_IFLNK@*/
1290/*@constant int S_IFSOCK@*/
1291/*@constant int S_ISVTX@*/
1292/*@constant int S_ISVTX@*/
1293/*@constant int SF_SETTABLE@*/
1294/*@constant int SF_ARCHIVED@*/
1295/*@constant int ACCESSPERMS@*/
1296/*@constant int ALLPERMS@*/
1297/*@constant int DEFFILEMODE@*/
1298/*@constant int S_BLKSIZE@*/
1299/*@constant int SF_IMMUTABLE@*/
1300/*@constant int SF_APPEND@*/
1301/*@constant int UF_NODUMP@*/
1302/*@constant int UF_IMMUTABLE@*/
1303/*@constant int UF_APPEND@*/
1304
1305 extern int /*@alt lltX_bool@*/
1306S_ISLNK (/*@sef@*/ mode_t m)
1307 /*@*/;
1308
1309 extern int /*@alt lltX_bool@*/
1310S_ISSOCK (/*@sef@*/ mode_t m)
1311 /*@*/;
1312
1313 extern int
1314chflags (const char *path, u_long flags)
1315 /*@modifies fileSystem, errno@*/;
1316
1317 extern int
1318fchflags (int fd, u_long flags)
1319 /*@modifies fileSystem, errno@*/;
1320
1321 extern int
1322fchmod (int fd, mode_t mode)
1323 /*@modifies fileSystem, errno@*/;
1324
1325 extern int
1326lstat (const char *path, /*@out@*/ struct stat *buf)
1327 /*@modifies errno, *buf@*/;
1328
1329/*________________________________________________________________________
1330 * stropts.h
1331 */
1332
1333/*@constant int FMNAMESZ@*/
1334/*@constant int MSG_BAND@*/
1335/*@constant int MSG_HIPRI@*/
1336/*@constant int RS_HIPRI@*/
1337/*@constant int S_INPUT@*/
1338/*@constant int S_RDNORM@*/
1339/*@constant int S_RDBAND@*/
1340/*@constant int S_BANDURG@*/
1341/*@constant int S_HIPRI@*/
1342/*@constant int S_OUTPUT@*/
1343/*@constant int S_WRNORM@*/
1344/*@constant int S_WRBAND@*/
1345/*@constant int S_MSG@*/
1346/*@constant int S_ERROR@*/
1347/*@constant int S_HANGUP@*/
1348
1349 struct strbuf {
1350 int maxlen;
1351 int len;
1352 char *buf;
1353}
1354
1355 struct str_mlist {
1356 char l_name[];
1357}
1358
1359 struct str_list {
1360 int sl_nmods;
1361 struct str_mlist *sl_modlist;
1362}
1363
1364 extern int
1365getmsg (int fd, /*@out@*/ struct strbuf *c, /*@out@*/ struct strbuf *d, int *f)
1366 /*@modifies *c, *d, errno@*/;
1367
1368 extern int
1369getpmsg (int fd, /*@out@*/ struct strbuf *c, /*@out@*/ struct strbuf *d, int *b, int *f)
1370 /*@modifies *b, *c, *d, errno@*/;
1371
1372 extern int
1373putmsg (int fd, const struct strbuf *c, const struct strbuf *d, int *f)
1374 /*@modifies internalState, errno@*/;
1375
1376 extern int
1377putpmsg (int fd, const struct strbuf *c, const struct strbuf *d, int b, int *f)
1378 /*@modifies internalState, errno@*/;
1379
1380/*________________________________________________________________________
1381 * sys/resource.h
1382 */
1383
1384/*@constant int RLIMIT_CPU@*/
1385/*@constant int RLIMIT_FSIZE@*/
1386/*@constant int RLIMIT_DATA@*/
1387/*@constant int RLIMIT_STACK@*/
1388/*@constant int RLIMIT_CORE@*/
1389/*@constant int RLIMIT_RSS@*/
1390/*@constant int RLIMIT_MEMLOCK@*/
1391/*@constant int RLIMIT_NPROC@*/
1392/*@constant int RLIMIT_NOFILE@*/
1393/*@constant int RLIM_NLIMITS@*/
1394/*@constant int RLIM_INFINITY@*/
1395/*@constant int PRIO_MIN@*/
1396/*@constant int PRIO_MAX@*/
1397/*@constant int PRIO_PROCESS@*/
1398/*@constant int PRIO_PGRP@*/
1399/*@constant int PRIO_USER@*/
1400/*@constant int RUSAGE_SELF@*/
1401/*@constant int RUSAGE_CHILDREN@*/
1402
1403 struct rusage {
1404 struct timeval ru_utime; /* user time used */
1405 struct timeval ru_stime; /* system time used */
1406 long ru_maxrss; /* max resident set size */
1407 long ru_ixrss; /* integral shared memory size */
1408 long ru_idrss; /* integral unshared data " */
1409 long ru_isrss; /* integral unshared stack " */
1410 long ru_minflt; /* page reclaims */
1411 long ru_majflt; /* page faults */
1412 long ru_nswap; /* swaps */
1413 long ru_inblock; /* block input operations */
1414 long ru_oublock; /* block output operations */
1415 long ru_msgsnd; /* messages sent */
1416 long ru_msgrcv; /* messages received */
1417 long ru_nsignals; /* signals received */
1418 long ru_nvcsw; /* voluntary context switches */
1419 long ru_nivcsw; /* involuntary " */
1420};
1421
1422 struct rlimit {
1423 long rlim_cur;
1424 long rlim_max;
1425};
1426
1427 struct loadavg {
1428 unsigned long ldavg[3];
1429 long fscale;
1430};
1431
1432 extern int
1433getpriority (int which, int who)
1434 /*@modifies errno@*/;
1435
1436 extern int
1437getrlimit (int res, /*@out@*/ struct rlimit *rlp)
1438 /*@modifies *rlp, errno@*/;
1439
1440 extern int
1441getrusage (int who, /*@out@*/ struct rusage *rusage)
1442 /*@modifies *rusage, errno@*/;
1443
1444 extern int
1445setpriority (int which, int who, int prio)
1446 /*@modifies errno, internalState@*/;
1447
1448 extern int
1449setrlimit (int resource, const struct rlimit *rlp)
1450 /*@modifies errno, internalState@*/;
1451
git-cvsimport mirror of splint
This page took 0.24621 seconds and 5 git commands to generate.