lib/include/sys/uio.h

   1 /*
   2 ** sys/uio.h
   3 */
   4
   5 struct iovec {
   6   /*@dependent@*/ void *iov_base;
   7   size_t iov_len; /*: maxSet(iov_base) = iov_len */
   8 };
   9
  10 ssize_t readv (int fd, const struct iovec *iov, int iovcnt)
  11      /*@modifies iov->iov_base, fileSystem, errno@*/;
  12
  13 ssize_t writev (int fd, const struct iovec *iov, int iovcnt)
  14      /*@modifies errno@*/;
  15