| /seL4-refos-master/libs/libmuslc/src/linux/ |
| H A D | swap.c | 2 #include "syscall.h"
6 return syscall(SYS_swapon, path, flags);
11 return syscall(SYS_swapoff, path);
|
| H A D | adjtimex.c | 2 #include "syscall.h"
6 return syscall(SYS_adjtimex, tx);
|
| H A D | flock.c | 2 #include "syscall.h"
6 return syscall(SYS_flock, fd, op);
|
| H A D | iopl.c | 1 #include "syscall.h"
8 return syscall(SYS_iopl, level);
|
| H A D | personality.c | 2 #include "syscall.h"
6 return syscall(SYS_personality, persona);
|
| H A D | reboot.c | 2 #include "syscall.h"
6 return syscall(SYS_reboot, 0xfee1dead, 672274793, type);
|
| H A D | setfsgid.c | 2 #include "syscall.h"
7 return syscall(SYS_setfsgid, gid);
|
| H A D | setfsuid.c | 2 #include "syscall.h"
7 return syscall(SYS_setfsuid, uid);
|
| H A D | setns.c | 3 #include "syscall.h"
7 return syscall(SYS_setns, fd, nstype);
|
| /seL4-refos-master/libs/libmuslc/src/process/ |
| H A D | vfork.c | 4 #include "syscall.h"
9 /* vfork syscall cannot be made from C code */
11 return syscall(SYS_fork);
13 return syscall(SYS_clone, SIGCHLD, 0);
|
| /seL4-refos-master/libs/libmuslc/src/signal/mips/ |
| H A D | restore.s | 7 syscall
13 syscall
|
| /seL4-refos-master/libs/libmuslc/src/stat/ |
| H A D | chmod.c | 3 #include "syscall.h"
8 return syscall(SYS_chmod, path, mode);
10 return syscall(SYS_fchmodat, AT_FDCWD, path, mode);
|
| H A D | mkdir.c | 3 #include "syscall.h"
8 return syscall(SYS_mkdir, path, mode);
10 return syscall(SYS_mkdirat, AT_FDCWD, path, mode);
|
| /seL4-refos-master/libs/libmuslc/src/stdio/ |
| H A D | rename.c | 3 #include "syscall.h"
8 return syscall(SYS_rename, old, new);
10 return syscall(SYS_renameat, AT_FDCWD, old, AT_FDCWD, new);
|
| /seL4-refos-master/libs/libmuslc/src/thread/mips/ |
| H A D | __unmapself.s | 7 syscall
10 syscall
|
| /seL4-refos-master/libs/libmuslc/src/thread/x32/ |
| H A D | __unmapself.s | 7 syscall /* munmap(arg2,arg3) */
10 syscall /* exit(0) */
|
| /seL4-refos-master/libs/libmuslc/src/thread/x86_64/ |
| H A D | __unmapself.s | 7 syscall /* munmap(arg2,arg3) */
10 syscall /* exit(0) */
|
| /seL4-refos-master/libs/libmuslc/src/unistd/ |
| H A D | access.c | 3 #include "syscall.h"
8 return syscall(SYS_access, filename, amode);
10 return syscall(SYS_faccessat, AT_FDCWD, filename, amode, 0);
|
| H A D | link.c | 3 #include "syscall.h"
8 return syscall(SYS_link, existing, new);
10 return syscall(SYS_linkat, AT_FDCWD, existing, AT_FDCWD, new, 0);
|
| H A D | rmdir.c | 3 #include "syscall.h"
8 return syscall(SYS_rmdir, path);
10 return syscall(SYS_unlinkat, AT_FDCWD, path, AT_REMOVEDIR);
|
| H A D | symlink.c | 3 #include "syscall.h"
8 return syscall(SYS_symlink, existing, new);
10 return syscall(SYS_symlinkat, existing, AT_FDCWD, new);
|
| /seL4-refos-master/kernel/include/ |
| H A D | api.h | 11 #include <api/syscall.h>
|
| /seL4-refos-master/libs/libmuslc/src/misc/ |
| H A D | uname.c | 2 #include "syscall.h"
6 return syscall(SYS_uname, uts);
|
| /seL4-refos-master/libs/libmuslc/src/signal/ |
| H A D | kill.c | 2 #include "syscall.h"
6 return syscall(SYS_kill, pid, sig);
|
| H A D | sigpending.c | 2 #include "syscall.h"
6 return syscall(SYS_rt_sigpending, set, _NSIG/8);
|