| /seL4-refos-master/libs/libmuslc/src/unistd/ |
| H A D | readv.c | 5 ssize_t readv(int fd, const struct iovec *iov, int count) argument
7 return syscall_cp(SYS_readv, fd, iov, count);
|
| H A D | writev.c | 5 ssize_t writev(int fd, const struct iovec *iov, int count) argument
7 return syscall_cp(SYS_writev, fd, iov, count);
|
| H A D | preadv.c | 7 ssize_t preadv(int fd, const struct iovec *iov, int count, off_t ofs) argument
9 return syscall_cp(SYS_preadv, fd, iov, count,
|
| H A D | pwritev.c | 7 ssize_t pwritev(int fd, const struct iovec *iov, int count, off_t ofs) argument
9 return syscall_cp(SYS_pwritev, fd, iov, count,
|
| /seL4-refos-master/libs/libmuslc/src/linux/ |
| H A D | vmsplice.c | 5 ssize_t vmsplice(int fd, const struct iovec *iov, size_t cnt, unsigned flags) argument
7 return syscall(SYS_vmsplice, fd, iov, cnt, flags);
|
| /seL4-refos-master/libs/libmuslc/src/stdio/ |
| H A D | __stdio_write.c | 10 struct iovec *iov = iovs; local
11 size_t rem = iov[0].iov_len + iov[1].iov_len;
15 cnt = syscall(SYS_writev, f->fd, iov, iovcnt);
24 return iovcnt == 2 ? 0 : len-iov[0].iov_len;
27 if (cnt > iov[0].iov_len) {
28 cnt -= iov[0].iov_len;
29 iov++; iovcnt--;
31 iov[0].iov_base = (char *)iov[
[all...] |
| H A D | __stdio_read.c | 6 struct iovec iov[2] = { local
12 cnt = syscall(SYS_readv, f->fd, iov, 2);
17 if (cnt <= iov[0].iov_len) return cnt;
18 cnt -= iov[0].iov_len;
|
| /seL4-refos-master/libs/librefossys/src/ |
| H A D | sys_io.c | 92 _sys_writev(int fildes, struct iovec *iov, int iovcnt) argument
104 if (iov[i].iov_len < 0)
107 sum += (long long)iov[i].iov_len;
119 ret += sys_platform_stdout_write(iov[i].iov_base, iov[i].iov_len);
127 if (iov[i].iov_len == 0) continue;
130 while (offset < iov[i].iov_len) {
131 int nc = filetable_write(&refosIOState.fdTable, fildes, iov[i].iov_base + offset,
132 iov[i].iov_len - offset);
134 assert(nc <= iov[
156 struct iovec *iov = va_arg(ap, struct iovec *); local
167 struct iovec iov = { local
176 _sys_readv(int fildes, struct iovec *iov, int iovcnt) argument
232 struct iovec *iov = va_arg(ap, struct iovec *); local
243 struct iovec iov = { local
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
| H A D | sys_io.c | 92 _sys_writev(int fildes, struct iovec *iov, int iovcnt) argument
104 if (iov[i].iov_len < 0)
107 sum += (long long)iov[i].iov_len;
119 ret += sys_platform_stdout_write(iov[i].iov_base, iov[i].iov_len);
127 if (iov[i].iov_len == 0) continue;
130 while (offset < iov[i].iov_len) {
131 int nc = filetable_write(&refosIOState.fdTable, fildes, iov[i].iov_base + offset,
132 iov[i].iov_len - offset);
134 assert(nc <= iov[
156 struct iovec *iov = va_arg(ap, struct iovec *); local
167 struct iovec iov = { local
176 _sys_readv(int fildes, struct iovec *iov, int iovcnt) argument
232 struct iovec *iov = va_arg(ap, struct iovec *); local
243 struct iovec iov = { local
[all...] |
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 284 struct iovec *iov = va_arg(ap, struct iovec *); local
298 sum += (long long)iov[i].iov_len;
316 ret += iov[i].iov_len;
318 ret += stdio_write(iov[i].iov_base, iov[i].iov_len);
336 struct iovec iov = {.iov_base = buf, .iov_len = count }; local
337 return writev(fd, &iov, 1);
343 struct iovec *iov = va_arg(ap, struct iovec *); local
368 long len = max < iov[i].iov_len ? max : iov[
382 struct iovec iov = {.iov_base = buf, .iov_len = count }; local
[all...] |
| H A D | vsyscall.c | 101 struct iovec *iov = va_arg(ap, struct iovec *); local
107 char *UNUSED base = (char *)iov[i].iov_base;
108 for (int j = 0; j < iov[i].iov_len; j++) {
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 284 struct iovec *iov = va_arg(ap, struct iovec *); local
298 sum += (long long)iov[i].iov_len;
316 ret += iov[i].iov_len;
318 ret += stdio_write(iov[i].iov_base, iov[i].iov_len);
336 struct iovec iov = {.iov_base = buf, .iov_len = count }; local
337 return writev(fd, &iov, 1);
343 struct iovec *iov = va_arg(ap, struct iovec *); local
368 long len = max < iov[i].iov_len ? max : iov[
382 struct iovec iov = {.iov_base = buf, .iov_len = count }; local
[all...] |
| H A D | vsyscall.c | 101 struct iovec *iov = va_arg(ap, struct iovec *); local
107 char *UNUSED base = (char *)iov[i].iov_base;
108 for (int j = 0; j < iov[i].iov_len; j++) {
|