/seL4-refos-master/libs/libmuslc/src/unistd/ |
H A D | pause.c | 9 return syscall_cp(SYS_pause); 11 return syscall_cp(SYS_ppoll, 0, 0, 0, 0);
|
H A D | fdatasync.c | 6 return syscall_cp(SYS_fdatasync, fd);
|
H A D | fsync.c | 6 return syscall_cp(SYS_fsync, fd);
|
H A D | read.c | 7 return syscall_cp(SYS_read, fd, buf, count);
|
H A D | readv.c | 7 return syscall_cp(SYS_readv, fd, iov, count);
|
H A D | write.c | 7 return syscall_cp(SYS_write, fd, buf, count);
|
H A D | writev.c | 7 return syscall_cp(SYS_writev, fd, iov, count);
|
H A D | pread.c | 7 return syscall_cp(SYS_pread, fd, buf, size, __SYSCALL_LL_PRW(ofs));
|
H A D | pwrite.c | 7 return syscall_cp(SYS_pwrite, fd, buf, size, __SYSCALL_LL_PRW(ofs));
|
H A D | preadv.c | 9 return syscall_cp(SYS_preadv, fd, iov, count,
|
H A D | pwritev.c | 9 return syscall_cp(SYS_pwritev, fd, iov, count,
|
/seL4-refos-master/libs/libmuslc/src/signal/ |
H A D | sigsuspend.c | 7 return syscall_cp(SYS_rt_sigsuspend, mask, _NSIG/8);
|
H A D | sigtimedwait.c | 9 do ret = syscall_cp(SYS_rt_sigtimedwait, mask,
|
/seL4-refos-master/libs/libmuslc/src/mman/ |
H A D | msync.c | 6 return syscall_cp(SYS_msync, start, len, flags);
|
/seL4-refos-master/libs/libmuslc/src/process/ |
H A D | waitpid.c | 7 return syscall_cp(SYS_wait4, pid, status, options, 0);
|
H A D | waitid.c | 7 return syscall_cp(SYS_waitid, type, id, info, options, 0);
|
/seL4-refos-master/libs/libmuslc/src/termios/ |
H A D | tcdrain.c | 8 return syscall_cp(SYS_ioctl, fd, TCSBRK, 1);
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | nanosleep.c | 7 return syscall_cp(SYS_nanosleep, req, rem);
|
/seL4-refos-master/libs/libmuslc/src/ipc/ |
H A D | msgrcv.c | 9 return syscall_cp(SYS_msgrcv, q, m, len, type, flag); 11 return syscall_cp(SYS_ipc, IPCOP_msgrcv, q, len, flag, ((long[]){ (long)m, type }));
|
H A D | msgsnd.c | 9 return syscall_cp(SYS_msgsnd, q, m, len, flag); 11 return syscall_cp(SYS_ipc, IPCOP_msgsnd, q, len, flag, m);
|
/seL4-refos-master/libs/libmuslc/src/select/ |
H A D | poll.c | 10 return syscall_cp(SYS_poll, fds, n, timeout); 12 return syscall_cp(SYS_ppoll, fds, n, timeout>=0 ?
|
H A D | select.c | 11 return syscall_cp(SYS_select, n, rfds, wfds, efds, tv); 24 return syscall_cp(SYS_pselect6, n, rfds, wfds, efds, tv ? &ts : 0, data);
|
/seL4-refos-master/libs/libmuslc/src/mq/ |
H A D | mq_timedreceive.c | 6 return syscall_cp(SYS_mq_timedreceive, mqd, msg, len, prio, at);
|
H A D | mq_timedsend.c | 6 return syscall_cp(SYS_mq_timedsend, mqd, msg, len, prio, at);
|
/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | ppoll.c | 8 return syscall_cp(SYS_ppoll, fds, n,
|