Searched refs:fildes (Results 1 - 7 of 7) sorted by relevance
| /seL4-refos-master/libs/librefossys/src/ |
| H A D | sys_io.c | 92 _sys_writev(int fildes, struct iovec *iov, int iovcnt) argument
117 if (fildes == STDOUT_FD || fildes == STDERR_FD) {
121 } else if (fildes == STDIN_FD) {
131 int nc = filetable_write(&refosIOState.fdTable, fildes, iov[i].iov_base + offset,
155 int fildes = va_arg(ap, int); local
158 return _sys_writev(fildes, iov, iovcnt);
163 int fildes = va_arg(ap, int); local
172 return _sys_writev(fildes, &iov, 1);
176 _sys_readv(int fildes, struc argument
231 int fildes = va_arg(ap, int); local
239 int fildes = va_arg(ap, int); local
282 _sys_lseek(int fildes, off_t offset, int whence) argument
301 int fildes = va_arg(ap, int); local
310 int fildes = va_arg(ap, int); local
344 int fildes = va_arg(ap, int); 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
117 if (fildes == STDOUT_FD || fildes == STDERR_FD) {
121 } else if (fildes == STDIN_FD) {
131 int nc = filetable_write(&refosIOState.fdTable, fildes, iov[i].iov_base + offset,
155 int fildes = va_arg(ap, int); local
158 return _sys_writev(fildes, iov, iovcnt);
163 int fildes = va_arg(ap, int); local
172 return _sys_writev(fildes, &iov, 1);
176 _sys_readv(int fildes, struc argument
231 int fildes = va_arg(ap, int); local
239 int fildes = va_arg(ap, int); local
282 _sys_lseek(int fildes, off_t offset, int whence) argument
301 int fildes = va_arg(ap, int); local
310 int fildes = va_arg(ap, int); local
344 int fildes = va_arg(ap, int); local
[all...] |
| /seL4-refos-master/libs/libmuslc/include/ |
| H A D | stropts.h | 105 int fildes; member in struct:strfdinsert
|
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 283 int fildes = va_arg(ap, int); local
310 if (fildes == STDOUT_FILENO || fildes == STDERR_FILENO) {
|
| H A D | vsyscall.c | 100 int UNUSED fildes = va_arg(ap, int); local
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_io.c | 283 int fildes = va_arg(ap, int); local
310 if (fildes == STDOUT_FILENO || fildes == STDERR_FILENO) {
|
| H A D | vsyscall.c | 100 int UNUSED fildes = va_arg(ap, int); local
|
Completed in 59 milliseconds