lib/unix.h

   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
  13 typedef /*@integraltype@*/ clockid_t;
  14
  15 extern void bcopy (char *b1, /*@out@*/ char *b2, int length)
  16    /*@modifies *b2@*/ ;  /* Yes, the second parameter is the out param! */
  17
  18 extern int /*@alt lltX_bool@*/ bcmp (char *b1, char *b2, int length) /*@*/ ;
  19    /* Return value is NOT like strcmp! */
  20
  21 extern void bzero (/*@out@*/ char *b1, int length) /*@modifies *b1@*/ ;
  22 extern int ffs (int i) /*@*/ ;
  23 extern int symlink (char *name1, char *name2) /*@modifies fileSystem@*/ ;
  24
  25 extern int
  26   setvbuf_unlocked (FILE *stream, /*@null@*/ /*@exposed@*/ char *buf,
  27                     int mode, size_t size)
  28   /*@modifies internalState@*/ ;
  29
  30 extern void
  31   setbuffer (FILE *stream, /*@null@*/ /*@exposed@*/ char *buf, int size)
  32   /*@modifies internalState@*/ ;
  33
  34 extern void setlinebuf (FILE *stream) /*@modifies internalState@*/ ;
  35
  36 extern int strerror_r (int errnum, /*@out@*/ char *strerrbuf, int buflen)
  37   /*@modifies strerrbuf@*/ ;
  38
  39 extern size_t
  40   fread_unlocked (/*@out@*/ void *ptr, size_t size, size_t nitems,
  41                   FILE *stream)
  42   /*@modifies *stream, *ptr;@*/ ;
  43
  44 extern size_t
  45   fwrite_unlocked (void *pointer, size_t size, size_t num_items, FILE *stream)
  46   /*@modifies *stream;@*/ ;
  47
  48 extern void funlockfile (FILE *file) /*@modifies *file;@*/ ;
  49 extern void flockfile (FILE *file) /*@modifies *file@*/ ;
  50
  51 extern void /*@alt void * @*/
  52   memccpy (/*@returned@*/ /*@out@*/ void *s1,
  53            /*@unique@*/ void *s2, int c, size_t n)
  54   /*@modifies *s1@*/ ;
  55
  56 extern int strcasecmp (char *s1, char *s2) /*@*/ ;
  57 extern int strncasecmp (char *s1, char *s2, int n) /*@*/ ;
  58 extern char *strdup (char *s) /*@*/ ;
  59
  60 extern /*@null@*/ char *tempnam (char *dir, /*@null@*/ char *pfx)
  61    /*@modifies internalState@*/ ;
  62
  63 extern /*@null@*/ /*@dependent@*/ char *
  64   index (/*@returned@*/ char *s, char c) /*@*/ ;
  65
  66 extern /*@null@*/ /*@dependent@*/ char *
  67   rindex (/*@returned@*/ char *s, char c) /*@*/ ;
  68
  69 extern /*@dependent@*/ /*@null@*/ FILE *popen (char *command, char *ttype)
  70    /*@modifies fileSystem, errno@*/ ;
  71 extern int pclose (FILE *stream) /*@modifies fileSystem, *stream, errno@*/ ;
  72
  73 extern double cbrt (double x) /*@modifies errno@*/ ;
  74 extern double rint (double x) /*@*/ ;
  75 extern 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
 193 extern /*@unchecked@*/ int daylight;
 194 extern /*@unchecked@*/ long timezone;
 195 extern /*@unchecked@*/ char *tzname[];
 196
 197 /*@-incondefs@*/
 198 extern void tzset(void) /*@modifies daylight, timezone, tzname@*/ ;
 199 /*@=incondefs@*/
 200
 201 typedef unsigned char uchar_t;
 202 typedef unsigned short ushort_t;
 203 typedef unsigned int uint_t;
 204 typedef unsigned long ulong_t;
 205 typedef volatile unsigned char vuchar_t;
 206 typedef volatile unsigned short vushort_t;
 207 typedef volatile unsigned int vuint_t;
 208 typedef volatile unsigned long vulong_t;
 209 typedef long label_t;
 210 typedef int level_t;
 211 typedef /*@integraltype@*/ daddr_t;
 212 typedef char *caddr_t;
 213 typedef long *qaddr_t;
 214 typedef char *addr_t;
 215 typedef long physadr_t;
 216 typedef short cnt_t;
 217 typedef int chan_t;
 218 typedef unsigned long rlim_t;
 219 typedef int paddr_t;
 220 typedef /*@integraltype@*/ key_t;
 221 typedef void *mid_t;
 222 typedef char slab_t[12];
 223 typedef ulong_t shmatt_t;
 224 typedef ulong_t msgqnum_t;
 225 typedef ulong_t msglen_t;
 226 typedef long timer_t;
 227 typedef uchar_t uchar;
 228 typedef ushort_t ushort;
 229 typedef uint_t uint;
 230 typedef ulong_t ulong;
 231 typedef uchar_t u_char;
 232 typedef ushort_t u_short;
 233 typedef uint_t u_int;
 234 typedef ulong_t u_long;
 235 typedef vuchar_t vu_char;
 236 typedef vushort_t vu_short;
 237 typedef vuint_t vu_int;
 238 typedef vulong_t vu_long;
 239 typedef long swblk_t;
 240 typedef u_long fixpt_t;
 241 typedef long segsz_t;
 242 typedef /*@abstract@*/ fd_set;
 243
 244 int ttyname_r (int fg, /*@out@*/ char *buffer, int len) /*@modifies buffer@*/ ;
 245 int ioctl (int d, int /*@alt long@*/ request, /*@out@*/ void *arg)
 246    /*@modifies *arg, errno@*/ ;  /* depends on request! */
 247
 248 int gethostname (/*@out@*/ char *address, int address_len)
 249    /*@modifies address@*/ ;
 250
 251 pid_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
 263 readv (int fd, const struct iovec iov[], int iovcnt)
 264         /*@modifies iov[].iov_base, fileSystem, errno@*/;
 265
 266         extern ssize_t
 267 writev (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
 291 extern 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@*/
 299 extern 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
 442 accept (int s, struct sockaddr *addr, int *addrlen)
 443         /*@modifies *addrlen, errno@*/;
 444
 445         extern int
 446 bind (int s, struct sockaddr *name, int namelen)
 447         /*@modifies errno, fileSystem@*/;
 448
 449         extern int
 450 connect (int s, struct sockaddr *name, int namelen)
 451         /*@modifies errno, internalState@*/;
 452
 453         extern int
 454 getpeername (int s, /*@out@*/ struct sockaddr *name, int *namelen)
 455         /*@modifies *name, *namelen, errno@*/;
 456
 457         extern int
 458 getsockname (int s, struct sockaddr *name, int *namelen)
 459         /*@modifies *name, *namelen, errno@*/;
 460
 461         extern int
 462 getsockopt (int s, int level, int optname, /*@out@*/ void *optval, int *optlen)
 463         /*@modifies *optval, *optlen, errno@*/;
 464
 465         extern int
 466 listen (int s, int backlog)
 467         /*@modifies errno, internalState@*/;
 468
 469         extern ssize_t
 470 recv (int s, /*@out@*/ void *buf, size_t len, int flags)
 471         /*@modifies *buf, errno@*/;
 472
 473         extern ssize_t
 474 recvfrom (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
 478 recvmsg (int s, struct msghdr *msg, int flags)
 479         /*@modifies msg->msg_iov->iov_base[], errno@*/;
 480
 481         extern ssize_t
 482 send (int s, const void *msg, size_t len, int flags)
 483         /*@modifies errno@*/;
 484
 485         extern ssize_t
 486 sendto (int s, const void *msg, size_t len, int flags, const struct sockaddr *to, int tolen)
 487         /*@modifies errno@*/;
 488
 489         extern ssize_t
 490 sendmsg (int s, const struct msghdr *msg, int flags)
 491         /*@modifies errno@*/;
 492
 493         extern int
 494 setsockopt (int s, int level, int optname, const void *optval, int optlen)
 495         /*@modifies internalState, errno@*/;
 496
 497         extern int
 498 shutdown (int s, int how)
 499         /*@modifies errno@*/;
 500
 501         extern int
 502 socket (int domain, int type, int protocol)
 503         /*@modifies errno@*/;
 504
 505         extern int
 506 socketpair (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
 529 extern 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
 539 getopt (int argc, char * const *argv, const char *optstring)
 540         /*@globals optarg, optind, optopt, opterr, optreset@*/
 541         /*@modifies optarg, optind, optopt@*/;
 542
 543         extern int
 544 setenv (const char *name, const char *value, int overwrite)
 545         /*@globals environ@*/
 546         /*@modifies *environ, errno@*/;
 547
 548         extern int
 549 putenv (const char *string)
 550         /*@globals environ@*/
 551         /*@modifies *environ, errno@*/;
 552
 553         extern void
 554 unsetenv (const char *name)
 555         /*@globals environ@*/
 556         /*@modifies *environ@*/;
 557
 558 /*________________________________________________________________________
 559  * sys/wait.h
 560  */
 561
 562         extern int
 563 WCOREDUMP (int x)
 564         /*@*/;
 565
 566         extern int
 567 W_EXITCODE (int ret, int sig)
 568         /*@*/;
 569
 570         extern int
 571 W_STOPCODE (int sig)
 572         /*@*/;
 573
 574 /*@constant int WAIT_ANY@*/
 575 /*@constant int WAIT_MYPGRP@*/
 576 /*@constant int WSTOPPED@*/
 577
 578         extern pid_t
 579 wait3 (int *statloc, int options, /*@null@*/ /*@out@*/ struct rusage *rusage)
 580         /*@modifies *statloc, *rusage, errno@*/;
 581
 582         extern pid_t
 583 wait4 (pid_t p, int *statloc, int opt, /*@null@*/ /*@out@*/ struct rusage *r)
 584         /*@modifies *statloc, *r, errno@*/;
 585
 586 struct timeval {
 587   long  tv_sec;
 588   long  tv_usec;
 589 } ;
 590
 591 struct timespec {
 592   long  ts_sec;
 593   long  ts_nsec;
 594 } ;
 595
 596 struct 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
 626 adjtime (const struct timeval *delta, /*@null@*/ /*@out@*/ struct timeval *olddelta)
 627         /*@modifies internalState, *olddelta, errno@*/;
 628
 629         extern int
 630 getitimer (int which, /*@out@*/ struct itimerval *value)
 631         /*@modifies errno, *value*/;
 632
 633         extern int
 634 gettimeofday (/*@null@*/ /*@out@*/ struct timeval *tp, /*@null@*/ /*@out@*/ struct timezone *tzp)
 635         /*@modifies *tp, *tzp, errno@*/;
 636
 637         extern int
 638 setitimer (int which, struct itimerval *val, /*@null@*/ /*@out@*/ struct itimerval *oval)
 639         /*@modifies *oval, errno, internalState*/;
 640
 641         extern int
 642 settimeofday (const struct timeval *t, const struct timezone *z)
 643         /*@modifies internalState, errno@*/;
 644
 645         extern int
 646 utimes (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
 676 mmap (/*@null@*/ /*@returned@*/ caddr_t addr, size_t len, int prot, int flags, int fd, off_t offset)
 677         /*@modifies addr@*/;
 678
 679         extern int
 680 madvise (caddr_t addr, int len, int behav)
 681         /*@*/;
 682
 683         extern int
 684 mprotect (caddr_t addr, int len, int prot)
 685         /*@*/;
 686
 687         extern int
 688 munmap (caddr_t addr, size_t len)
 689         /*@*/;
 690
 691         extern int
 692 msync (caddr_t addr, int len, int flags)
 693         /*@*/;
 694
 695         extern int
 696 mlock (caddr_t addr, size_t len)
 697         /*@*/;
 698
 699         extern int
 700 munlock (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
 784 FD_CLR (int n, fd_set *p)
 785         /*@modifies *p@*/;
 786
 787         extern void
 788 FD_COPY (fd_set *f, /*@out@*/ fd_set *t)
 789         /*@modifies *t@*/;
 790
 791         extern int /*@alt lltX_bool@*/
 792 FD_ISSET (int n, fd_set *p)
 793         /*@*/;
 794
 795         extern void
 796 FD_SET (int n, fd_set *p)
 797         /*@modifies *p@*/;
 798
 799         extern void
 800 FD_ZERO (fd_set /*@out@*/ *p)
 801         /*@modifies *p@*/;
 802
 803         extern int
 804 fchdir (int fd)
 805         /*@modifies internalState, errno@*/;
 806
 807         extern int
 808 fchown (int fd, uid_t owner, gid_t group)
 809         /*@modifies errno, fileSystem@*/;
 810
 811         extern int
 812 fsync (int fd)
 813         /*@modifies errno, fileSystem@*/;
 814
 815         extern int
 816 ftruncate (int fd, off_t length)
 817         /*@modifies errno, fileSystem@*/;
 818
 819         extern int
 820 gethostname (/*@out@*/ char *name, int namlen)
 821         /*@modifies *name@*/;
 822
 823         extern int
 824 initgroups (const char *name, int basegid)
 825         /*@modifies internalState@*/;
 826
 827         extern int
 828 lchown (const char *path, uid_t owner, gid_t group)
 829         /*@modifies errno, fileSystem@*/;
 830
 831         extern int
 832 readlink (const char *path, /*@out@*/ char *buf, int size)
 833         /*@modifies *buf, errno@*/;
 834
 835         extern int
 836 select (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
 840 setegid (gid_t egid)
 841         /*@modifies errno, internalState@*/;
 842
 843         extern int
 844 seteuid (uid_t euid)
 845         /*@modifies errno, internalState@*/;
 846
 847         extern int
 848 setgroups (int ngroups, const gid_t *gidset)
 849         /*@modifies errno, internalState@*/;
 850
 851         extern int
 852 setregid (gid_t rgid, gid_t egid)
 853         /*@modifies errno, internalState@*/;
 854
 855         extern int
 856 setreuid (gid_t ruid, gid_t euid)
 857         /*@modifies errno, internalState@*/;
 858
 859         extern void
 860 sync (void)
 861         /*@modifies fileSystem@*/;
 862
 863         extern int
 864 symlink (const char *path, const char *path2)
 865         /*@modifies fileSystem@*/;
 866
 867         extern int
 868 truncate (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
 914 struct 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
 965 msgctl (int id , int cmd, /*@out@*/ struct msqid_ds *buf)
 966         /*@modifies errno, *buf@*/;
 967
 968         extern int
 969 msgget (key_t key, int flag)
 970         /*@modifies errno@*/;
 971
 972         extern int
 973 msgrcv (int id, /*@out@*/ void *ptr, size_t nbytes, long type, int flags)
 974         /*@modifies errno, *ptr@*/;
 975
 976         extern int
 977 msgsnd (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
1033 semctl (int id, int semnum, int cmd, union semun arg)
1034         /*@modifies errno@*/;
1035
1036         extern int
1037 semget (key_t key, int nsems, int flag)
1038         /*@modifies errno@*/;
1039
1040         extern int
1041 semop (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 *
1074 shmat (int id, /*@null@*/ void *addr, int flag)
1075         /*@modifies errno@*/;
1076
1077         extern int
1078 shmctl (int id, int cmd, /*@out@*/ struct shmid_ds *buf)
1079         /*@modifies errno, *buf@*/;
1080
1081         extern int
1082 shmdt (void *addr)
1083         /*@modifies errno@*/;
1084
1085         extern int
1086 shmget (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
1147 regcomp (/*@out@*/ regex_t *preg, const char *pattern, int flags)
1148         /*@modifies *preg@*/;
1149
1150         extern size_t
1151 regerror (int code, const regex_t *re, /*@out@*/ char *errbuf, size_t bufsize)
1152         /*@modifies *errbuf@*/;
1153
1154         extern int
1155 regexec (const regex_t *preg, const char *s, size_t n, /*@out@*/ regmatch_t *m, int f)
1156         /*@modifies *m@*/;
1157
1158         extern void
1159 regfree (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
1204 LOG_MASK (int pri)
1205         /*@*/;
1206
1207         extern int
1208 LOG_UPTO (int pri)
1209         /*@*/;
1210
1211         extern void
1212 closelog (void)
1213         /*@modifies fileSystem@*/;
1214
1215         extern void
1216 openlog (const char *ident, int logopt, int facility)
1217         /*@modifies fileSystem@*/;
1218
1219         extern int
1220 setlogmask (int maskpri)
1221         /*@modifies internalState@*/;
1222
1223         extern void /*@printflike@*/
1224 syslog (int priority, const char *message, ...)
1225         /*@modifies fileSystem@*/;
1226
1227         extern void
1228 vsyslog (int priority, const char *message, va_list args)
1229         /*@modifies fileSystem@*/;
1230
1231 /*________________________________________________________________________
1232  * pwd.h
1233  */
1234
1235         extern extern void
1236 endpwent (void)
1237         /*@modifies internalState@*/;
1238
1239         extern /*@null@*/ struct passwd *
1240 getpwent (void)
1241         /*@modifies internalState@*/;
1242
1243         extern int
1244 setpassent (int stayopen)
1245         /*@modifies internalState@*/;
1246
1247         extern int
1248 setpwent (void)
1249         /*@modifies internalState@*/;
1250
1251 /*________________________________________________________________________
1252  * grp.h
1253  */
1254
1255         extern void
1256 endgrent (void)
1257         /*@modifies internalState@*/;
1258
1259         extern /*@null@*/ struct group *
1260 getgrent (void)
1261         /*@modifies internalState@*/;
1262
1263         extern int
1264 setgrent (void)
1265         /*@modifies internalState@*/;
1266
1267         extern void
1268 setgrfile (const char *name)
1269         /*@modifies internalState@*/;
1270
1271         extern int
1272 setgroupent (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@*/
1306 S_ISLNK (/*@sef@*/ mode_t m)
1307         /*@*/;
1308
1309         extern int /*@alt lltX_bool@*/
1310 S_ISSOCK (/*@sef@*/ mode_t m)
1311         /*@*/;
1312
1313         extern int
1314 chflags (const char *path, u_long flags)
1315         /*@modifies fileSystem, errno@*/;
1316
1317         extern int
1318 fchflags (int fd, u_long flags)
1319         /*@modifies fileSystem, errno@*/;
1320
1321         extern int
1322 fchmod (int fd, mode_t mode)
1323         /*@modifies fileSystem, errno@*/;
1324
1325         extern int
1326 lstat (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
1365 getmsg (int fd, /*@out@*/ struct strbuf *c, /*@out@*/ struct strbuf *d, int *f)
1366         /*@modifies *c, *d, errno@*/;
1367
1368         extern int
1369 getpmsg (int fd, /*@out@*/ struct strbuf *c, /*@out@*/ struct strbuf *d, int *b, int *f)
1370         /*@modifies *b, *c, *d, errno@*/;
1371
1372         extern int
1373 putmsg (int fd, const struct strbuf *c, const struct strbuf *d, int *f)
1374         /*@modifies internalState, errno@*/;
1375
1376         extern int
1377 putpmsg (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
1433 getpriority (int which, int who)
1434         /*@modifies errno@*/;
1435
1436         extern int
1437 getrlimit (int res, /*@out@*/ struct rlimit *rlp)
1438         /*@modifies *rlp, errno@*/;
1439
1440         extern int
1441 getrusage (int who, /*@out@*/ struct rusage *rusage)
1442         /*@modifies *rusage, errno@*/;
1443
1444         extern int
1445 setpriority (int which, int who, int prio)
1446         /*@modifies errno, internalState@*/;
1447
1448         extern int
1449 setrlimit (int resource, const struct rlimit *rlp)
1450         /*@modifies errno, internalState@*/;
1451