| /seL4-refos-master/libs/librefossys/src/ |
| H A D | syscalls.h | 17 long sys_set_thread_area(va_list ap);
18 long sys_set_tid_address(va_list ap);
19 long sys_sched_yield(va_list ap);
20 long sys_exit(va_list ap);
21 long sys_rt_sigprocmask(va_list ap);
22 long sys_gettid(va_list ap);
23 long sys_getpid(va_list ap);
24 long sys_tgkill(va_list ap);
25 long sys_tkill(va_list ap);
26 long sys_exit_group(va_list ap);
[all...] |
| H A D | sys_thread.c | 22 long sys_set_thread_area(va_list ap) { argument
25 long sys_set_tid_address(va_list ap) { argument
|
| H A D | sys_stubs.c | 21 long sys_restart_syscall(va_list ap) { argument
25 /*long sys_exit(va_list ap) {
29 long sys_fork(va_list ap) { argument
33 long sys_waitpid(va_list ap) { argument
37 long sys_creat(va_list ap) { argument
41 long sys_link(va_list ap) { argument
45 long sys_unlink(va_list ap) { argument
49 long sys_execve(va_list ap) { argument
53 long sys_chdir(va_list ap) { argument
57 long sys_time(va_list ap) { argument
61 sys_mknod(va_list ap) argument
65 sys_chmod(va_list ap) argument
69 sys_lchown(va_list ap) argument
73 sys_break(va_list ap) argument
77 sys_oldstat(va_list ap) argument
81 sys_mount(va_list ap) argument
85 sys_umount(va_list ap) argument
89 sys_setuid(va_list ap) argument
93 sys_getuid(va_list ap) argument
97 sys_stime(va_list ap) argument
101 sys_ptrace(va_list ap) argument
105 sys_alarm(va_list ap) argument
109 sys_oldfstat(va_list ap) argument
113 sys_pause(va_list ap) argument
117 sys_utime(va_list ap) argument
121 sys_stty(va_list ap) argument
125 sys_gtty(va_list ap) argument
129 sys_access(va_list ap) argument
133 sys_nice(va_list ap) argument
137 sys_ftime(va_list ap) argument
141 sys_sync(va_list ap) argument
145 sys_kill(va_list ap) argument
149 sys_rename(va_list ap) argument
153 sys_mkdir(va_list ap) argument
157 sys_rmdir(va_list ap) argument
161 sys_dup(va_list ap) argument
165 sys_pipe(va_list ap) argument
169 sys_times(va_list ap) argument
173 sys_prof(va_list ap) argument
181 sys_setgid(va_list ap) argument
185 sys_getgid(va_list ap) argument
189 sys_signal(va_list ap) argument
193 sys_geteuid(va_list ap) argument
197 sys_getegid(va_list ap) argument
201 sys_acct(va_list ap) argument
205 sys_umount2(va_list ap) argument
209 sys_lock(va_list ap) argument
217 sys_fcntl(va_list ap) argument
221 sys_mpx(va_list ap) argument
225 sys_setpgid(va_list ap) argument
229 sys_ulimit(va_list ap) argument
233 sys_oldolduname(va_list ap) argument
237 sys_chroot(va_list ap) argument
241 sys_ustat(va_list ap) argument
245 sys_dup2(va_list ap) argument
249 sys_getppid(va_list ap) argument
253 sys_getpgrp(va_list ap) argument
257 sys_setsid(va_list ap) argument
261 sys_sigaction(va_list ap) argument
265 sys_sgetmask(va_list ap) argument
269 sys_ssetmask(va_list ap) argument
273 sys_setreuid(va_list ap) argument
277 sys_setregid(va_list ap) argument
281 sys_sigsuspend(va_list ap) argument
285 sys_sigpending(va_list ap) argument
289 sys_sethostname(va_list ap) argument
293 sys_setrlimit(va_list ap) argument
297 sys_getrlimit(va_list ap) argument
301 sys_getrusage(va_list ap) argument
305 sys_gettimeofday(va_list ap) argument
309 sys_settimeofday(va_list ap) argument
313 sys_getgroups(va_list ap) argument
317 sys_setgroups(va_list ap) argument
321 sys_select(va_list ap) argument
325 sys_symlink(va_list ap) argument
329 sys_oldlstat(va_list ap) argument
333 sys_readlink(va_list ap) argument
337 sys_uselib(va_list ap) argument
341 sys_swapon(va_list ap) argument
345 sys_reboot(va_list ap) argument
349 sys_readdir(va_list ap) argument
353 sys_mmap(va_list ap) argument
357 sys_truncate(va_list ap) argument
361 sys_ftruncate(va_list ap) argument
365 sys_fchmod(va_list ap) argument
369 sys_fchown(va_list ap) argument
373 sys_getpriority(va_list ap) argument
377 sys_setpriority(va_list ap) argument
381 sys_profil(va_list ap) argument
385 sys_statfs(va_list ap) argument
389 sys_fstatfs(va_list ap) argument
393 sys_ioperm(va_list ap) argument
397 sys_socketcall(va_list ap) argument
401 sys_syslog(va_list ap) argument
405 sys_setitimer(va_list ap) argument
409 sys_getitimer(va_list ap) argument
413 sys_stat(va_list ap) argument
417 sys_lstat(va_list ap) argument
421 sys_fstat(va_list ap) argument
425 sys_olduname(va_list ap) argument
429 sys_iopl(va_list ap) argument
433 sys_vhangup(va_list ap) argument
437 sys_idle(va_list ap) argument
441 sys_vm86old(va_list ap) argument
445 sys_wait4(va_list ap) argument
449 sys_swapoff(va_list ap) argument
453 sys_sysinfo(va_list ap) argument
457 sys_ipc(va_list ap) argument
461 sys_fsync(va_list ap) argument
465 sys_sigreturn(va_list ap) argument
469 sys_clone(va_list ap) argument
473 sys_setdomainname(va_list ap) argument
477 sys_uname(va_list ap) argument
481 sys_modify_ldt(va_list ap) argument
485 sys_adjtimex(va_list ap) argument
489 sys_mprotect(va_list ap) argument
493 sys_sigprocmask(va_list ap) argument
497 sys_create_module(va_list ap) argument
501 sys_init_module(va_list ap) argument
505 sys_delete_module(va_list ap) argument
509 sys_get_kernel_syms(va_list ap) argument
513 sys_quotactl(va_list ap) argument
517 sys_getpgid(va_list ap) argument
521 sys_fchdir(va_list ap) argument
525 sys_bdflush(va_list ap) argument
529 sys_sysfs(va_list ap) argument
533 sys_personality(va_list ap) argument
537 sys_afs_syscall(va_list ap) argument
541 sys_setfsuid(va_list ap) argument
545 sys_setfsgid(va_list ap) argument
553 sys_getdents(va_list ap) argument
557 sys__newselect(va_list ap) argument
561 sys_flock(va_list ap) argument
565 sys_msync(va_list ap) argument
577 sys_getsid(va_list ap) argument
581 sys_fdatasync(va_list ap) argument
585 sys__sysctl(va_list ap) argument
589 sys_mlock(va_list ap) argument
593 sys_munlock(va_list ap) argument
597 sys_mlockall(va_list ap) argument
601 sys_munlockall(va_list ap) argument
605 sys_sched_setparam(va_list ap) argument
609 sys_sched_getparam(va_list ap) argument
613 sys_sched_setscheduler(va_list ap) argument
617 sys_sched_getscheduler(va_list ap) argument
621 sys_sched_get_priority_max(va_list ap) argument
625 sys_sched_get_priority_min(va_list ap) argument
629 sys_sched_rr_get_interval(va_list ap) argument
633 sys_mremap(va_list ap) argument
637 sys_setresuid(va_list ap) argument
641 sys_getresuid(va_list ap) argument
645 sys_vm86(va_list ap) argument
649 sys_query_module(va_list ap) argument
653 sys_poll(va_list ap) argument
657 sys_nfsservctl(va_list ap) argument
661 sys_setresgid(va_list ap) argument
665 sys_getresgid(va_list ap) argument
669 sys_prctl(va_list ap) argument
673 sys_rt_sigreturn(va_list ap) argument
677 sys_rt_sigprocmask(va_list ap) argument
681 sys_rt_sigpending(va_list ap) argument
685 sys_rt_sigtimedwait(va_list ap) argument
689 sys_rt_sigqueueinfo(va_list ap) argument
693 sys_rt_sigsuspend(va_list ap) argument
697 sys_pread64(va_list ap) argument
701 sys_pwrite64(va_list ap) argument
705 sys_chown(va_list ap) argument
709 sys_getcwd(va_list ap) argument
713 sys_capget(va_list ap) argument
717 sys_capset(va_list ap) argument
721 sys_sigaltstack(va_list ap) argument
725 sys_sendfile(va_list ap) argument
729 sys_getpmsg(va_list ap) argument
733 sys_putpmsg(va_list ap) argument
737 sys_vfork(va_list ap) argument
741 sys_ugetrlimit(va_list ap) argument
749 sys_truncate64(va_list ap) argument
753 sys_ftruncate64(va_list ap) argument
757 sys_stat64(va_list ap) argument
761 sys_lstat64(va_list ap) argument
765 sys_fstat64(va_list ap) argument
769 sys_lchown32(va_list ap) argument
773 sys_getgid32(va_list ap) argument
777 sys_getuid32(va_list ap) argument
781 sys_geteuid32(va_list ap) argument
785 sys_getegid32(va_list ap) argument
789 sys_setreuid32(va_list ap) argument
793 sys_setregid32(va_list ap) argument
797 sys_getgroups32(va_list ap) argument
801 sys_setgroups32(va_list ap) argument
805 sys_fchown32(va_list ap) argument
809 sys_setresuid32(va_list ap) argument
813 sys_getresuid32(va_list ap) argument
817 sys_setresgid32(va_list ap) argument
821 sys_getresgid32(va_list ap) argument
825 sys_chown32(va_list ap) argument
829 sys_setuid32(va_list ap) argument
833 sys_setgid32(va_list ap) argument
837 sys_setfsuid32(va_list ap) argument
841 sys_setfsgid32(va_list ap) argument
845 sys_pivot_root(va_list ap) argument
849 sys_mincore(va_list ap) argument
853 sys_madvise(va_list ap) argument
857 sys_madvise1(va_list ap) argument
861 sys_getdents64(va_list ap) argument
865 sys_gettid(va_list ap) argument
869 sys_readahead(va_list ap) argument
873 sys_setxattr(va_list ap) argument
877 sys_lsetxattr(va_list ap) argument
881 sys_fsetxattr(va_list ap) argument
885 sys_getxattr(va_list ap) argument
889 sys_lgetxattr(va_list ap) argument
893 sys_fgetxattr(va_list ap) argument
897 sys_listxattr(va_list ap) argument
901 sys_llistxattr(va_list ap) argument
905 sys_flistxattr(va_list ap) argument
909 sys_removexattr(va_list ap) argument
913 sys_lremovexattr(va_list ap) argument
917 sys_fremovexattr(va_list ap) argument
921 sys_tkill(va_list ap) argument
925 sys_sendfile64(va_list ap) argument
929 sys_futex(va_list ap) argument
933 sys_sched_setaffinity(va_list ap) argument
937 sys_sched_getaffinity(va_list ap) argument
941 sys_get_thread_area(va_list ap) argument
945 sys_io_setup(va_list ap) argument
949 sys_io_destroy(va_list ap) argument
953 sys_io_getevents(va_list ap) argument
957 sys_io_submit(va_list ap) argument
961 sys_io_cancel(va_list ap) argument
965 sys_fadvise64(va_list ap) argument
969 sys_lookup_dcookie(va_list ap) argument
973 sys_epoll_create(va_list ap) argument
977 sys_epoll_ctl(va_list ap) argument
981 sys_epoll_wait(va_list ap) argument
985 sys_remap_file_pages(va_list ap) argument
989 sys_timer_create(va_list ap) argument
993 sys_timer_settime(va_list ap) argument
997 sys_timer_gettime(va_list ap) argument
1001 sys_timer_getoverrun(va_list ap) argument
1005 sys_timer_delete(va_list ap) argument
1009 sys_clock_settime(va_list ap) argument
1013 sys_clock_getres(va_list ap) argument
1017 sys_clock_nanosleep(va_list ap) argument
1021 sys_statfs64(va_list ap) argument
1025 sys_fstatfs64(va_list ap) argument
1029 sys_tgkill(va_list ap) argument
1033 sys_utimes(va_list ap) argument
1037 sys_fadvise64_64(va_list ap) argument
1041 sys_vserver(va_list ap) argument
1045 sys_mbind(va_list ap) argument
1049 sys_get_mempolicy(va_list ap) argument
1053 sys_set_mempolicy(va_list ap) argument
1057 sys_mq_open(va_list ap) argument
1061 sys_mq_unlink(va_list ap) argument
1065 sys_mq_timedsend(va_list ap) argument
1069 sys_mq_timedreceive(va_list ap) argument
1073 sys_mq_notify(va_list ap) argument
1077 sys_mq_getsetattr(va_list ap) argument
1081 sys_kexec_load(va_list ap) argument
1085 sys_waitid(va_list ap) argument
1089 sys_add_key(va_list ap) argument
1093 sys_request_key(va_list ap) argument
1097 sys_keyctl(va_list ap) argument
1101 sys_ioprio_set(va_list ap) argument
1105 sys_ioprio_get(va_list ap) argument
1109 sys_inotify_init(va_list ap) argument
1113 sys_inotify_add_watch(va_list ap) argument
1117 sys_inotify_rm_watch(va_list ap) argument
1121 sys_migrate_pages(va_list ap) argument
1125 sys_openat(va_list ap) argument
1129 sys_mkdirat(va_list ap) argument
1133 sys_mknodat(va_list ap) argument
1137 sys_fchownat(va_list ap) argument
1141 sys_futimesat(va_list ap) argument
1145 sys_fstatat64(va_list ap) argument
1149 sys_unlinkat(va_list ap) argument
1153 sys_renameat(va_list ap) argument
1157 sys_linkat(va_list ap) argument
1161 sys_symlinkat(va_list ap) argument
1165 sys_readlinkat(va_list ap) argument
1169 sys_fchmodat(va_list ap) argument
1173 sys_faccessat(va_list ap) argument
1177 sys_pselect6(va_list ap) argument
1181 sys_ppoll(va_list ap) argument
1185 sys_unshare(va_list ap) argument
1189 sys_set_robust_list(va_list ap) argument
1193 sys_get_robust_list(va_list ap) argument
1197 sys_splice(va_list ap) argument
1201 sys_sync_file_range(va_list ap) argument
1205 sys_tee(va_list ap) argument
1209 sys_vmsplice(va_list ap) argument
1213 sys_move_pages(va_list ap) argument
1217 sys_getcpu(va_list ap) argument
1221 sys_epoll_pwait(va_list ap) argument
1225 sys_utimensat(va_list ap) argument
1229 sys_signalfd(va_list ap) argument
1233 sys_timerfd_create(va_list ap) argument
1237 sys_eventfd(va_list ap) argument
1241 sys_fallocate(va_list ap) argument
1245 sys_timerfd_settime(va_list ap) argument
1249 sys_timerfd_gettime(va_list ap) argument
1253 sys_signalfd4(va_list ap) argument
1257 sys_eventfd2(va_list ap) argument
1261 sys_epoll_create1(va_list ap) argument
1265 sys_dup3(va_list ap) argument
1269 sys_pipe2(va_list ap) argument
1273 sys_inotify_init1(va_list ap) argument
1277 sys_preadv(va_list ap) argument
1281 sys_pwritev(va_list ap) argument
1285 sys_prlimit64(va_list ap) argument
1289 sys_name_to_handle_at(va_list ap) argument
1293 sys_open_by_handle_at(va_list ap) argument
1297 sys_clock_adjtime(va_list ap) argument
1301 sys_syncfs(va_list ap) argument
1305 sys_sendmmsg(va_list ap) argument
1309 sys_setns(va_list ap) argument
1313 sys_process_vm_readv(va_list ap) argument
1317 sys_process_vm_writev(va_list ap) argument
1321 sys_fstatat(va_list ap) argument
1325 sys_pread(va_list ap) argument
1329 sys_pwrite(va_list ap) argument
1333 sys_fadvise(va_list ap) argument
1341 sys_restart_syscall(va_list ap) argument
1349 sys_fork(va_list ap) argument
1353 sys_creat(va_list ap) argument
1357 sys_link(va_list ap) argument
1361 sys_unlink(va_list ap) argument
1365 sys_execve(va_list ap) argument
1369 sys_chdir(va_list ap) argument
1373 sys_mknod(va_list ap) argument
1377 sys_chmod(va_list ap) argument
1381 sys_lchown(va_list ap) argument
1385 sys_mount(va_list ap) argument
1389 sys_setuid(va_list ap) argument
1393 sys_getuid(va_list ap) argument
1397 sys_ptrace(va_list ap) argument
1401 sys_pause(va_list ap) argument
1405 sys_access(va_list ap) argument
1409 sys_nice(va_list ap) argument
1413 sys_sync(va_list ap) argument
1417 sys_kill(va_list ap) argument
1421 sys_rename(va_list ap) argument
1425 sys_mkdir(va_list ap) argument
1429 sys_rmdir(va_list ap) argument
1433 sys_dup(va_list ap) argument
1437 sys_pipe(va_list ap) argument
1441 sys_times(va_list ap) argument
1449 sys_setgid(va_list ap) argument
1453 sys_getgid(va_list ap) argument
1457 sys_geteuid(va_list ap) argument
1461 sys_getegid(va_list ap) argument
1465 sys_acct(va_list ap) argument
1469 sys_umount2(va_list ap) argument
1477 sys_fcntl(va_list ap) argument
1481 sys_setpgid(va_list ap) argument
1485 sys_chroot(va_list ap) argument
1489 sys_ustat(va_list ap) argument
1493 sys_dup2(va_list ap) argument
1497 sys_getppid(va_list ap) argument
1501 sys_getpgrp(va_list ap) argument
1505 sys_setsid(va_list ap) argument
1509 sys_sigaction(va_list ap) argument
1513 sys_setreuid(va_list ap) argument
1517 sys_setregid(va_list ap) argument
1521 sys_sigsuspend(va_list ap) argument
1525 sys_sigpending(va_list ap) argument
1529 sys_sethostname(va_list ap) argument
1533 sys_setrlimit(va_list ap) argument
1537 sys_getrusage(va_list ap) argument
1541 sys_gettimeofday(va_list ap) argument
1545 sys_settimeofday(va_list ap) argument
1549 sys_getgroups(va_list ap) argument
1553 sys_setgroups(va_list ap) argument
1557 sys_symlink(va_list ap) argument
1561 sys_readlink(va_list ap) argument
1565 sys_uselib(va_list ap) argument
1569 sys_swapon(va_list ap) argument
1573 sys_reboot(va_list ap) argument
1577 sys_truncate(va_list ap) argument
1581 sys_ftruncate(va_list ap) argument
1585 sys_fchmod(va_list ap) argument
1589 sys_fchown(va_list ap) argument
1593 sys_getpriority(va_list ap) argument
1597 sys_setpriority(va_list ap) argument
1601 sys_statfs(va_list ap) argument
1605 sys_fstatfs(va_list ap) argument
1609 sys_syslog(va_list ap) argument
1613 sys_setitimer(va_list ap) argument
1617 sys_getitimer(va_list ap) argument
1621 sys_stat(va_list ap) argument
1625 sys_lstat(va_list ap) argument
1629 sys_fstat(va_list ap) argument
1633 sys_vhangup(va_list ap) argument
1637 sys_wait4(va_list ap) argument
1641 sys_swapoff(va_list ap) argument
1645 sys_sysinfo(va_list ap) argument
1649 sys_fsync(va_list ap) argument
1653 sys_sigreturn(va_list ap) argument
1657 sys_clone(va_list ap) argument
1661 sys_setdomainname(va_list ap) argument
1665 sys_uname(va_list ap) argument
1669 sys_adjtimex(va_list ap) argument
1673 sys_mprotect(va_list ap) argument
1677 sys_sigprocmask(va_list ap) argument
1681 sys_init_module(va_list ap) argument
1685 sys_delete_module(va_list ap) argument
1689 sys_quotactl(va_list ap) argument
1693 sys_getpgid(va_list ap) argument
1697 sys_fchdir(va_list ap) argument
1701 sys_bdflush(va_list ap) argument
1705 sys_sysfs(va_list ap) argument
1709 sys_personality(va_list ap) argument
1713 sys_setfsuid(va_list ap) argument
1717 sys_setfsgid(va_list ap) argument
1721 sys_getdents(va_list ap) argument
1725 sys__newselect(va_list ap) argument
1729 sys_flock(va_list ap) argument
1733 sys_msync(va_list ap) argument
1745 sys_getsid(va_list ap) argument
1749 sys_fdatasync(va_list ap) argument
1753 sys__sysctl(va_list ap) argument
1757 sys_mlock(va_list ap) argument
1761 sys_munlock(va_list ap) argument
1765 sys_mlockall(va_list ap) argument
1769 sys_munlockall(va_list ap) argument
1773 sys_sched_setparam(va_list ap) argument
1777 sys_sched_getparam(va_list ap) argument
1781 sys_sched_setscheduler(va_list ap) argument
1785 sys_sched_getscheduler(va_list ap) argument
1789 sys_sched_get_priority_max(va_list ap) argument
1793 sys_sched_get_priority_min(va_list ap) argument
1797 sys_sched_rr_get_interval(va_list ap) argument
1801 sys_mremap(va_list ap) argument
1805 sys_setresuid(va_list ap) argument
1809 sys_getresuid(va_list ap) argument
1813 sys_poll(va_list ap) argument
1817 sys_nfsservctl(va_list ap) argument
1821 sys_setresgid(va_list ap) argument
1825 sys_getresgid(va_list ap) argument
1829 sys_prctl(va_list ap) argument
1833 sys_rt_sigreturn(va_list ap) argument
1837 sys_rt_sigprocmask(va_list ap) argument
1841 sys_rt_sigpending(va_list ap) argument
1845 sys_rt_sigtimedwait(va_list ap) argument
1849 sys_rt_sigqueueinfo(va_list ap) argument
1853 sys_rt_sigsuspend(va_list ap) argument
1857 sys_pread64(va_list ap) argument
1861 sys_pwrite64(va_list ap) argument
1865 sys_chown(va_list ap) argument
1869 sys_getcwd(va_list ap) argument
1873 sys_capget(va_list ap) argument
1877 sys_capset(va_list ap) argument
1881 sys_sigaltstack(va_list ap) argument
1885 sys_sendfile(va_list ap) argument
1889 sys_vfork(va_list ap) argument
1893 sys_ugetrlimit(va_list ap) argument
1901 sys_truncate64(va_list ap) argument
1905 sys_ftruncate64(va_list ap) argument
1909 sys_stat64(va_list ap) argument
1913 sys_lstat64(va_list ap) argument
1917 sys_fstat64(va_list ap) argument
1921 sys_lchown32(va_list ap) argument
1925 sys_getgid32(va_list ap) argument
1929 sys_getuid32(va_list ap) argument
1933 sys_geteuid32(va_list ap) argument
1937 sys_getegid32(va_list ap) argument
1941 sys_setreuid32(va_list ap) argument
1945 sys_setregid32(va_list ap) argument
1949 sys_getgroups32(va_list ap) argument
1953 sys_setgroups32(va_list ap) argument
1957 sys_fchown32(va_list ap) argument
1961 sys_setresuid32(va_list ap) argument
1965 sys_getresuid32(va_list ap) argument
1969 sys_setresgid32(va_list ap) argument
1973 sys_getresgid32(va_list ap) argument
1977 sys_chown32(va_list ap) argument
1981 sys_setuid32(va_list ap) argument
1985 sys_setgid32(va_list ap) argument
1989 sys_setfsuid32(va_list ap) argument
1993 sys_setfsgid32(va_list ap) argument
1997 sys_getdents64(va_list ap) argument
2001 sys_pivot_root(va_list ap) argument
2005 sys_mincore(va_list ap) argument
2009 sys_madvise(va_list ap) argument
2013 sys_gettid(va_list ap) argument
2017 sys_readahead(va_list ap) argument
2021 sys_setxattr(va_list ap) argument
2025 sys_lsetxattr(va_list ap) argument
2029 sys_fsetxattr(va_list ap) argument
2033 sys_getxattr(va_list ap) argument
2037 sys_lgetxattr(va_list ap) argument
2041 sys_fgetxattr(va_list ap) argument
2045 sys_listxattr(va_list ap) argument
2049 sys_llistxattr(va_list ap) argument
2053 sys_flistxattr(va_list ap) argument
2057 sys_removexattr(va_list ap) argument
2061 sys_lremovexattr(va_list ap) argument
2065 sys_fremovexattr(va_list ap) argument
2069 sys_tkill(va_list ap) argument
2073 sys_sendfile64(va_list ap) argument
2077 sys_futex(va_list ap) argument
2081 sys_sched_setaffinity(va_list ap) argument
2085 sys_sched_getaffinity(va_list ap) argument
2089 sys_io_setup(va_list ap) argument
2093 sys_io_destroy(va_list ap) argument
2097 sys_io_getevents(va_list ap) argument
2101 sys_io_submit(va_list ap) argument
2105 sys_io_cancel(va_list ap) argument
2109 sys_lookup_dcookie(va_list ap) argument
2113 sys_epoll_create(va_list ap) argument
2117 sys_epoll_ctl(va_list ap) argument
2121 sys_epoll_wait(va_list ap) argument
2125 sys_remap_file_pages(va_list ap) argument
2129 sys_timer_create(va_list ap) argument
2133 sys_timer_settime(va_list ap) argument
2137 sys_timer_gettime(va_list ap) argument
2141 sys_timer_getoverrun(va_list ap) argument
2145 sys_timer_delete(va_list ap) argument
2149 sys_clock_settime(va_list ap) argument
2153 sys_clock_getres(va_list ap) argument
2157 sys_clock_nanosleep(va_list ap) argument
2161 sys_statfs64(va_list ap) argument
2165 sys_fstatfs64(va_list ap) argument
2169 sys_tgkill(va_list ap) argument
2173 sys_utimes(va_list ap) argument
2177 sys_fadvise64_64(va_list ap) argument
2181 sys_pciconfig_iobase(va_list ap) argument
2185 sys_pciconfig_read(va_list ap) argument
2189 sys_pciconfig_write(va_list ap) argument
2193 sys_mq_open(va_list ap) argument
2197 sys_mq_unlink(va_list ap) argument
2201 sys_mq_timedsend(va_list ap) argument
2205 sys_mq_timedreceive(va_list ap) argument
2209 sys_mq_notify(va_list ap) argument
2213 sys_mq_getsetattr(va_list ap) argument
2217 sys_waitid(va_list ap) argument
2221 sys_socket(va_list ap) argument
2225 sys_bind(va_list ap) argument
2229 sys_connect(va_list ap) argument
2233 sys_listen(va_list ap) argument
2237 sys_accept(va_list ap) argument
2241 sys_getsockname(va_list ap) argument
2245 sys_getpeername(va_list ap) argument
2249 sys_socketpair(va_list ap) argument
2253 sys_send(va_list ap) argument
2257 sys_sendto(va_list ap) argument
2261 sys_recv(va_list ap) argument
2265 sys_recvfrom(va_list ap) argument
2269 sys_shutdown(va_list ap) argument
2273 sys_setsockopt(va_list ap) argument
2277 sys_getsockopt(va_list ap) argument
2281 sys_sendmsg(va_list ap) argument
2285 sys_recvmsg(va_list ap) argument
2289 sys_semop(va_list ap) argument
2293 sys_semget(va_list ap) argument
2297 sys_semctl(va_list ap) argument
2301 sys_msgsnd(va_list ap) argument
2305 sys_msgrcv(va_list ap) argument
2309 sys_msgget(va_list ap) argument
2313 sys_msgctl(va_list ap) argument
2317 sys_shmat(va_list ap) argument
2321 sys_shmdt(va_list ap) argument
2325 sys_shmget(va_list ap) argument
2329 sys_shmctl(va_list ap) argument
2333 sys_add_key(va_list ap) argument
2337 sys_request_key(va_list ap) argument
2341 sys_keyctl(va_list ap) argument
2345 sys_semtimedop(va_list ap) argument
2349 sys_vserver(va_list ap) argument
2353 sys_ioprio_set(va_list ap) argument
2357 sys_ioprio_get(va_list ap) argument
2361 sys_inotify_init(va_list ap) argument
2365 sys_inotify_add_watch(va_list ap) argument
2369 sys_inotify_rm_watch(va_list ap) argument
2373 sys_mbind(va_list ap) argument
2377 sys_get_mempolicy(va_list ap) argument
2381 sys_set_mempolicy(va_list ap) argument
2385 sys_openat(va_list ap) argument
2389 sys_mkdirat(va_list ap) argument
2393 sys_mknodat(va_list ap) argument
2397 sys_fchownat(va_list ap) argument
2401 sys_futimesat(va_list ap) argument
2405 sys_fstatat64(va_list ap) argument
2409 sys_unlinkat(va_list ap) argument
2413 sys_renameat(va_list ap) argument
2417 sys_linkat(va_list ap) argument
2421 sys_symlinkat(va_list ap) argument
2425 sys_readlinkat(va_list ap) argument
2429 sys_fchmodat(va_list ap) argument
2433 sys_faccessat(va_list ap) argument
2437 sys_pselect6(va_list ap) argument
2441 sys_ppoll(va_list ap) argument
2445 sys_unshare(va_list ap) argument
2449 sys_set_robust_list(va_list ap) argument
2453 sys_get_robust_list(va_list ap) argument
2457 sys_splice(va_list ap) argument
2461 sys_sync_file_range2(va_list ap) argument
2465 sys_tee(va_list ap) argument
2469 sys_vmsplice(va_list ap) argument
2473 sys_move_pages(va_list ap) argument
2477 sys_getcpu(va_list ap) argument
2481 sys_epoll_pwait(va_list ap) argument
2485 sys_kexec_load(va_list ap) argument
2489 sys_utimensat(va_list ap) argument
2493 sys_signalfd(va_list ap) argument
2497 sys_timerfd_create(va_list ap) argument
2501 sys_eventfd(va_list ap) argument
2505 sys_fallocate(va_list ap) argument
2509 sys_timerfd_settime(va_list ap) argument
2513 sys_timerfd_gettime(va_list ap) argument
2517 sys_signalfd4(va_list ap) argument
2521 sys_eventfd2(va_list ap) argument
2525 sys_epoll_create1(va_list ap) argument
2529 sys_dup3(va_list ap) argument
2533 sys_pipe2(va_list ap) argument
2537 sys_inotify_init1(va_list ap) argument
2541 sys_preadv(va_list ap) argument
2545 sys_pwritev(va_list ap) argument
2549 sys_rt_tgsigqueueinfo(va_list ap) argument
2553 sys_perf_event_open(va_list ap) argument
2557 sys_recvmmsg(va_list ap) argument
2561 sys_accept4(va_list ap) argument
2565 sys_fanotify_init(va_list ap) argument
2569 sys_fanotify_mark(va_list ap) argument
2573 sys_prlimit64(va_list ap) argument
2577 sys_name_to_handle_at(va_list ap) argument
2581 sys_open_by_handle_at(va_list ap) argument
2585 sys_clock_adjtime(va_list ap) argument
2589 sys_syncfs(va_list ap) argument
2593 sys_sendmmsg(va_list ap) argument
2597 sys_setns(va_list ap) argument
2601 sys_process_vm_readv(va_list ap) argument
2605 sys_process_vm_writev(va_list ap) argument
[all...] |
| H A D | sys_ignored.c | 19 long sys_getpid(va_list ap) { argument
24 long sys_umask(va_list ap) { argument
29 long sys_rt_sigaction(va_list ap) { argument
34 long sys_fcntl64(va_list ap) { argument
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
| H A D | syscalls.h | 17 long sys_set_thread_area(va_list ap);
18 long sys_set_tid_address(va_list ap);
19 long sys_sched_yield(va_list ap);
20 long sys_exit(va_list ap);
21 long sys_rt_sigprocmask(va_list ap);
22 long sys_gettid(va_list ap);
23 long sys_getpid(va_list ap);
24 long sys_tgkill(va_list ap);
25 long sys_tkill(va_list ap);
26 long sys_exit_group(va_list ap);
[all...] |
| H A D | sys_thread.c | 22 long sys_set_thread_area(va_list ap) { argument
25 long sys_set_tid_address(va_list ap) { argument
|
| H A D | sys_stubs.c | 21 long sys_restart_syscall(va_list ap) { argument
25 /*long sys_exit(va_list ap) {
29 long sys_fork(va_list ap) { argument
33 long sys_waitpid(va_list ap) { argument
37 long sys_creat(va_list ap) { argument
41 long sys_link(va_list ap) { argument
45 long sys_unlink(va_list ap) { argument
49 long sys_execve(va_list ap) { argument
53 long sys_chdir(va_list ap) { argument
57 long sys_time(va_list ap) { argument
61 sys_mknod(va_list ap) argument
65 sys_chmod(va_list ap) argument
69 sys_lchown(va_list ap) argument
73 sys_break(va_list ap) argument
77 sys_oldstat(va_list ap) argument
81 sys_mount(va_list ap) argument
85 sys_umount(va_list ap) argument
89 sys_setuid(va_list ap) argument
93 sys_getuid(va_list ap) argument
97 sys_stime(va_list ap) argument
101 sys_ptrace(va_list ap) argument
105 sys_alarm(va_list ap) argument
109 sys_oldfstat(va_list ap) argument
113 sys_pause(va_list ap) argument
117 sys_utime(va_list ap) argument
121 sys_stty(va_list ap) argument
125 sys_gtty(va_list ap) argument
129 sys_access(va_list ap) argument
133 sys_nice(va_list ap) argument
137 sys_ftime(va_list ap) argument
141 sys_sync(va_list ap) argument
145 sys_kill(va_list ap) argument
149 sys_rename(va_list ap) argument
153 sys_mkdir(va_list ap) argument
157 sys_rmdir(va_list ap) argument
161 sys_dup(va_list ap) argument
165 sys_pipe(va_list ap) argument
169 sys_times(va_list ap) argument
173 sys_prof(va_list ap) argument
181 sys_setgid(va_list ap) argument
185 sys_getgid(va_list ap) argument
189 sys_signal(va_list ap) argument
193 sys_geteuid(va_list ap) argument
197 sys_getegid(va_list ap) argument
201 sys_acct(va_list ap) argument
205 sys_umount2(va_list ap) argument
209 sys_lock(va_list ap) argument
217 sys_fcntl(va_list ap) argument
221 sys_mpx(va_list ap) argument
225 sys_setpgid(va_list ap) argument
229 sys_ulimit(va_list ap) argument
233 sys_oldolduname(va_list ap) argument
237 sys_chroot(va_list ap) argument
241 sys_ustat(va_list ap) argument
245 sys_dup2(va_list ap) argument
249 sys_getppid(va_list ap) argument
253 sys_getpgrp(va_list ap) argument
257 sys_setsid(va_list ap) argument
261 sys_sigaction(va_list ap) argument
265 sys_sgetmask(va_list ap) argument
269 sys_ssetmask(va_list ap) argument
273 sys_setreuid(va_list ap) argument
277 sys_setregid(va_list ap) argument
281 sys_sigsuspend(va_list ap) argument
285 sys_sigpending(va_list ap) argument
289 sys_sethostname(va_list ap) argument
293 sys_setrlimit(va_list ap) argument
297 sys_getrlimit(va_list ap) argument
301 sys_getrusage(va_list ap) argument
305 sys_gettimeofday(va_list ap) argument
309 sys_settimeofday(va_list ap) argument
313 sys_getgroups(va_list ap) argument
317 sys_setgroups(va_list ap) argument
321 sys_select(va_list ap) argument
325 sys_symlink(va_list ap) argument
329 sys_oldlstat(va_list ap) argument
333 sys_readlink(va_list ap) argument
337 sys_uselib(va_list ap) argument
341 sys_swapon(va_list ap) argument
345 sys_reboot(va_list ap) argument
349 sys_readdir(va_list ap) argument
353 sys_mmap(va_list ap) argument
357 sys_truncate(va_list ap) argument
361 sys_ftruncate(va_list ap) argument
365 sys_fchmod(va_list ap) argument
369 sys_fchown(va_list ap) argument
373 sys_getpriority(va_list ap) argument
377 sys_setpriority(va_list ap) argument
381 sys_profil(va_list ap) argument
385 sys_statfs(va_list ap) argument
389 sys_fstatfs(va_list ap) argument
393 sys_ioperm(va_list ap) argument
397 sys_socketcall(va_list ap) argument
401 sys_syslog(va_list ap) argument
405 sys_setitimer(va_list ap) argument
409 sys_getitimer(va_list ap) argument
413 sys_stat(va_list ap) argument
417 sys_lstat(va_list ap) argument
421 sys_fstat(va_list ap) argument
425 sys_olduname(va_list ap) argument
429 sys_iopl(va_list ap) argument
433 sys_vhangup(va_list ap) argument
437 sys_idle(va_list ap) argument
441 sys_vm86old(va_list ap) argument
445 sys_wait4(va_list ap) argument
449 sys_swapoff(va_list ap) argument
453 sys_sysinfo(va_list ap) argument
457 sys_ipc(va_list ap) argument
461 sys_fsync(va_list ap) argument
465 sys_sigreturn(va_list ap) argument
469 sys_clone(va_list ap) argument
473 sys_setdomainname(va_list ap) argument
477 sys_uname(va_list ap) argument
481 sys_modify_ldt(va_list ap) argument
485 sys_adjtimex(va_list ap) argument
489 sys_mprotect(va_list ap) argument
493 sys_sigprocmask(va_list ap) argument
497 sys_create_module(va_list ap) argument
501 sys_init_module(va_list ap) argument
505 sys_delete_module(va_list ap) argument
509 sys_get_kernel_syms(va_list ap) argument
513 sys_quotactl(va_list ap) argument
517 sys_getpgid(va_list ap) argument
521 sys_fchdir(va_list ap) argument
525 sys_bdflush(va_list ap) argument
529 sys_sysfs(va_list ap) argument
533 sys_personality(va_list ap) argument
537 sys_afs_syscall(va_list ap) argument
541 sys_setfsuid(va_list ap) argument
545 sys_setfsgid(va_list ap) argument
553 sys_getdents(va_list ap) argument
557 sys__newselect(va_list ap) argument
561 sys_flock(va_list ap) argument
565 sys_msync(va_list ap) argument
577 sys_getsid(va_list ap) argument
581 sys_fdatasync(va_list ap) argument
585 sys__sysctl(va_list ap) argument
589 sys_mlock(va_list ap) argument
593 sys_munlock(va_list ap) argument
597 sys_mlockall(va_list ap) argument
601 sys_munlockall(va_list ap) argument
605 sys_sched_setparam(va_list ap) argument
609 sys_sched_getparam(va_list ap) argument
613 sys_sched_setscheduler(va_list ap) argument
617 sys_sched_getscheduler(va_list ap) argument
621 sys_sched_get_priority_max(va_list ap) argument
625 sys_sched_get_priority_min(va_list ap) argument
629 sys_sched_rr_get_interval(va_list ap) argument
633 sys_mremap(va_list ap) argument
637 sys_setresuid(va_list ap) argument
641 sys_getresuid(va_list ap) argument
645 sys_vm86(va_list ap) argument
649 sys_query_module(va_list ap) argument
653 sys_poll(va_list ap) argument
657 sys_nfsservctl(va_list ap) argument
661 sys_setresgid(va_list ap) argument
665 sys_getresgid(va_list ap) argument
669 sys_prctl(va_list ap) argument
673 sys_rt_sigreturn(va_list ap) argument
677 sys_rt_sigprocmask(va_list ap) argument
681 sys_rt_sigpending(va_list ap) argument
685 sys_rt_sigtimedwait(va_list ap) argument
689 sys_rt_sigqueueinfo(va_list ap) argument
693 sys_rt_sigsuspend(va_list ap) argument
697 sys_pread64(va_list ap) argument
701 sys_pwrite64(va_list ap) argument
705 sys_chown(va_list ap) argument
709 sys_getcwd(va_list ap) argument
713 sys_capget(va_list ap) argument
717 sys_capset(va_list ap) argument
721 sys_sigaltstack(va_list ap) argument
725 sys_sendfile(va_list ap) argument
729 sys_getpmsg(va_list ap) argument
733 sys_putpmsg(va_list ap) argument
737 sys_vfork(va_list ap) argument
741 sys_ugetrlimit(va_list ap) argument
749 sys_truncate64(va_list ap) argument
753 sys_ftruncate64(va_list ap) argument
757 sys_stat64(va_list ap) argument
761 sys_lstat64(va_list ap) argument
765 sys_fstat64(va_list ap) argument
769 sys_lchown32(va_list ap) argument
773 sys_getgid32(va_list ap) argument
777 sys_getuid32(va_list ap) argument
781 sys_geteuid32(va_list ap) argument
785 sys_getegid32(va_list ap) argument
789 sys_setreuid32(va_list ap) argument
793 sys_setregid32(va_list ap) argument
797 sys_getgroups32(va_list ap) argument
801 sys_setgroups32(va_list ap) argument
805 sys_fchown32(va_list ap) argument
809 sys_setresuid32(va_list ap) argument
813 sys_getresuid32(va_list ap) argument
817 sys_setresgid32(va_list ap) argument
821 sys_getresgid32(va_list ap) argument
825 sys_chown32(va_list ap) argument
829 sys_setuid32(va_list ap) argument
833 sys_setgid32(va_list ap) argument
837 sys_setfsuid32(va_list ap) argument
841 sys_setfsgid32(va_list ap) argument
845 sys_pivot_root(va_list ap) argument
849 sys_mincore(va_list ap) argument
853 sys_madvise(va_list ap) argument
857 sys_madvise1(va_list ap) argument
861 sys_getdents64(va_list ap) argument
865 sys_gettid(va_list ap) argument
869 sys_readahead(va_list ap) argument
873 sys_setxattr(va_list ap) argument
877 sys_lsetxattr(va_list ap) argument
881 sys_fsetxattr(va_list ap) argument
885 sys_getxattr(va_list ap) argument
889 sys_lgetxattr(va_list ap) argument
893 sys_fgetxattr(va_list ap) argument
897 sys_listxattr(va_list ap) argument
901 sys_llistxattr(va_list ap) argument
905 sys_flistxattr(va_list ap) argument
909 sys_removexattr(va_list ap) argument
913 sys_lremovexattr(va_list ap) argument
917 sys_fremovexattr(va_list ap) argument
921 sys_tkill(va_list ap) argument
925 sys_sendfile64(va_list ap) argument
929 sys_futex(va_list ap) argument
933 sys_sched_setaffinity(va_list ap) argument
937 sys_sched_getaffinity(va_list ap) argument
941 sys_get_thread_area(va_list ap) argument
945 sys_io_setup(va_list ap) argument
949 sys_io_destroy(va_list ap) argument
953 sys_io_getevents(va_list ap) argument
957 sys_io_submit(va_list ap) argument
961 sys_io_cancel(va_list ap) argument
965 sys_fadvise64(va_list ap) argument
969 sys_lookup_dcookie(va_list ap) argument
973 sys_epoll_create(va_list ap) argument
977 sys_epoll_ctl(va_list ap) argument
981 sys_epoll_wait(va_list ap) argument
985 sys_remap_file_pages(va_list ap) argument
989 sys_timer_create(va_list ap) argument
993 sys_timer_settime(va_list ap) argument
997 sys_timer_gettime(va_list ap) argument
1001 sys_timer_getoverrun(va_list ap) argument
1005 sys_timer_delete(va_list ap) argument
1009 sys_clock_settime(va_list ap) argument
1013 sys_clock_getres(va_list ap) argument
1017 sys_clock_nanosleep(va_list ap) argument
1021 sys_statfs64(va_list ap) argument
1025 sys_fstatfs64(va_list ap) argument
1029 sys_tgkill(va_list ap) argument
1033 sys_utimes(va_list ap) argument
1037 sys_fadvise64_64(va_list ap) argument
1041 sys_vserver(va_list ap) argument
1045 sys_mbind(va_list ap) argument
1049 sys_get_mempolicy(va_list ap) argument
1053 sys_set_mempolicy(va_list ap) argument
1057 sys_mq_open(va_list ap) argument
1061 sys_mq_unlink(va_list ap) argument
1065 sys_mq_timedsend(va_list ap) argument
1069 sys_mq_timedreceive(va_list ap) argument
1073 sys_mq_notify(va_list ap) argument
1077 sys_mq_getsetattr(va_list ap) argument
1081 sys_kexec_load(va_list ap) argument
1085 sys_waitid(va_list ap) argument
1089 sys_add_key(va_list ap) argument
1093 sys_request_key(va_list ap) argument
1097 sys_keyctl(va_list ap) argument
1101 sys_ioprio_set(va_list ap) argument
1105 sys_ioprio_get(va_list ap) argument
1109 sys_inotify_init(va_list ap) argument
1113 sys_inotify_add_watch(va_list ap) argument
1117 sys_inotify_rm_watch(va_list ap) argument
1121 sys_migrate_pages(va_list ap) argument
1125 sys_openat(va_list ap) argument
1129 sys_mkdirat(va_list ap) argument
1133 sys_mknodat(va_list ap) argument
1137 sys_fchownat(va_list ap) argument
1141 sys_futimesat(va_list ap) argument
1145 sys_fstatat64(va_list ap) argument
1149 sys_unlinkat(va_list ap) argument
1153 sys_renameat(va_list ap) argument
1157 sys_linkat(va_list ap) argument
1161 sys_symlinkat(va_list ap) argument
1165 sys_readlinkat(va_list ap) argument
1169 sys_fchmodat(va_list ap) argument
1173 sys_faccessat(va_list ap) argument
1177 sys_pselect6(va_list ap) argument
1181 sys_ppoll(va_list ap) argument
1185 sys_unshare(va_list ap) argument
1189 sys_set_robust_list(va_list ap) argument
1193 sys_get_robust_list(va_list ap) argument
1197 sys_splice(va_list ap) argument
1201 sys_sync_file_range(va_list ap) argument
1205 sys_tee(va_list ap) argument
1209 sys_vmsplice(va_list ap) argument
1213 sys_move_pages(va_list ap) argument
1217 sys_getcpu(va_list ap) argument
1221 sys_epoll_pwait(va_list ap) argument
1225 sys_utimensat(va_list ap) argument
1229 sys_signalfd(va_list ap) argument
1233 sys_timerfd_create(va_list ap) argument
1237 sys_eventfd(va_list ap) argument
1241 sys_fallocate(va_list ap) argument
1245 sys_timerfd_settime(va_list ap) argument
1249 sys_timerfd_gettime(va_list ap) argument
1253 sys_signalfd4(va_list ap) argument
1257 sys_eventfd2(va_list ap) argument
1261 sys_epoll_create1(va_list ap) argument
1265 sys_dup3(va_list ap) argument
1269 sys_pipe2(va_list ap) argument
1273 sys_inotify_init1(va_list ap) argument
1277 sys_preadv(va_list ap) argument
1281 sys_pwritev(va_list ap) argument
1285 sys_prlimit64(va_list ap) argument
1289 sys_name_to_handle_at(va_list ap) argument
1293 sys_open_by_handle_at(va_list ap) argument
1297 sys_clock_adjtime(va_list ap) argument
1301 sys_syncfs(va_list ap) argument
1305 sys_sendmmsg(va_list ap) argument
1309 sys_setns(va_list ap) argument
1313 sys_process_vm_readv(va_list ap) argument
1317 sys_process_vm_writev(va_list ap) argument
1321 sys_fstatat(va_list ap) argument
1325 sys_pread(va_list ap) argument
1329 sys_pwrite(va_list ap) argument
1333 sys_fadvise(va_list ap) argument
1341 sys_restart_syscall(va_list ap) argument
1349 sys_fork(va_list ap) argument
1353 sys_creat(va_list ap) argument
1357 sys_link(va_list ap) argument
1361 sys_unlink(va_list ap) argument
1365 sys_execve(va_list ap) argument
1369 sys_chdir(va_list ap) argument
1373 sys_mknod(va_list ap) argument
1377 sys_chmod(va_list ap) argument
1381 sys_lchown(va_list ap) argument
1385 sys_mount(va_list ap) argument
1389 sys_setuid(va_list ap) argument
1393 sys_getuid(va_list ap) argument
1397 sys_ptrace(va_list ap) argument
1401 sys_pause(va_list ap) argument
1405 sys_access(va_list ap) argument
1409 sys_nice(va_list ap) argument
1413 sys_sync(va_list ap) argument
1417 sys_kill(va_list ap) argument
1421 sys_rename(va_list ap) argument
1425 sys_mkdir(va_list ap) argument
1429 sys_rmdir(va_list ap) argument
1433 sys_dup(va_list ap) argument
1437 sys_pipe(va_list ap) argument
1441 sys_times(va_list ap) argument
1449 sys_setgid(va_list ap) argument
1453 sys_getgid(va_list ap) argument
1457 sys_geteuid(va_list ap) argument
1461 sys_getegid(va_list ap) argument
1465 sys_acct(va_list ap) argument
1469 sys_umount2(va_list ap) argument
1477 sys_fcntl(va_list ap) argument
1481 sys_setpgid(va_list ap) argument
1485 sys_chroot(va_list ap) argument
1489 sys_ustat(va_list ap) argument
1493 sys_dup2(va_list ap) argument
1497 sys_getppid(va_list ap) argument
1501 sys_getpgrp(va_list ap) argument
1505 sys_setsid(va_list ap) argument
1509 sys_sigaction(va_list ap) argument
1513 sys_setreuid(va_list ap) argument
1517 sys_setregid(va_list ap) argument
1521 sys_sigsuspend(va_list ap) argument
1525 sys_sigpending(va_list ap) argument
1529 sys_sethostname(va_list ap) argument
1533 sys_setrlimit(va_list ap) argument
1537 sys_getrusage(va_list ap) argument
1541 sys_gettimeofday(va_list ap) argument
1545 sys_settimeofday(va_list ap) argument
1549 sys_getgroups(va_list ap) argument
1553 sys_setgroups(va_list ap) argument
1557 sys_symlink(va_list ap) argument
1561 sys_readlink(va_list ap) argument
1565 sys_uselib(va_list ap) argument
1569 sys_swapon(va_list ap) argument
1573 sys_reboot(va_list ap) argument
1577 sys_truncate(va_list ap) argument
1581 sys_ftruncate(va_list ap) argument
1585 sys_fchmod(va_list ap) argument
1589 sys_fchown(va_list ap) argument
1593 sys_getpriority(va_list ap) argument
1597 sys_setpriority(va_list ap) argument
1601 sys_statfs(va_list ap) argument
1605 sys_fstatfs(va_list ap) argument
1609 sys_syslog(va_list ap) argument
1613 sys_setitimer(va_list ap) argument
1617 sys_getitimer(va_list ap) argument
1621 sys_stat(va_list ap) argument
1625 sys_lstat(va_list ap) argument
1629 sys_fstat(va_list ap) argument
1633 sys_vhangup(va_list ap) argument
1637 sys_wait4(va_list ap) argument
1641 sys_swapoff(va_list ap) argument
1645 sys_sysinfo(va_list ap) argument
1649 sys_fsync(va_list ap) argument
1653 sys_sigreturn(va_list ap) argument
1657 sys_clone(va_list ap) argument
1661 sys_setdomainname(va_list ap) argument
1665 sys_uname(va_list ap) argument
1669 sys_adjtimex(va_list ap) argument
1673 sys_mprotect(va_list ap) argument
1677 sys_sigprocmask(va_list ap) argument
1681 sys_init_module(va_list ap) argument
1685 sys_delete_module(va_list ap) argument
1689 sys_quotactl(va_list ap) argument
1693 sys_getpgid(va_list ap) argument
1697 sys_fchdir(va_list ap) argument
1701 sys_bdflush(va_list ap) argument
1705 sys_sysfs(va_list ap) argument
1709 sys_personality(va_list ap) argument
1713 sys_setfsuid(va_list ap) argument
1717 sys_setfsgid(va_list ap) argument
1721 sys_getdents(va_list ap) argument
1725 sys__newselect(va_list ap) argument
1729 sys_flock(va_list ap) argument
1733 sys_msync(va_list ap) argument
1745 sys_getsid(va_list ap) argument
1749 sys_fdatasync(va_list ap) argument
1753 sys__sysctl(va_list ap) argument
1757 sys_mlock(va_list ap) argument
1761 sys_munlock(va_list ap) argument
1765 sys_mlockall(va_list ap) argument
1769 sys_munlockall(va_list ap) argument
1773 sys_sched_setparam(va_list ap) argument
1777 sys_sched_getparam(va_list ap) argument
1781 sys_sched_setscheduler(va_list ap) argument
1785 sys_sched_getscheduler(va_list ap) argument
1789 sys_sched_get_priority_max(va_list ap) argument
1793 sys_sched_get_priority_min(va_list ap) argument
1797 sys_sched_rr_get_interval(va_list ap) argument
1801 sys_mremap(va_list ap) argument
1805 sys_setresuid(va_list ap) argument
1809 sys_getresuid(va_list ap) argument
1813 sys_poll(va_list ap) argument
1817 sys_nfsservctl(va_list ap) argument
1821 sys_setresgid(va_list ap) argument
1825 sys_getresgid(va_list ap) argument
1829 sys_prctl(va_list ap) argument
1833 sys_rt_sigreturn(va_list ap) argument
1837 sys_rt_sigprocmask(va_list ap) argument
1841 sys_rt_sigpending(va_list ap) argument
1845 sys_rt_sigtimedwait(va_list ap) argument
1849 sys_rt_sigqueueinfo(va_list ap) argument
1853 sys_rt_sigsuspend(va_list ap) argument
1857 sys_pread64(va_list ap) argument
1861 sys_pwrite64(va_list ap) argument
1865 sys_chown(va_list ap) argument
1869 sys_getcwd(va_list ap) argument
1873 sys_capget(va_list ap) argument
1877 sys_capset(va_list ap) argument
1881 sys_sigaltstack(va_list ap) argument
1885 sys_sendfile(va_list ap) argument
1889 sys_vfork(va_list ap) argument
1893 sys_ugetrlimit(va_list ap) argument
1901 sys_truncate64(va_list ap) argument
1905 sys_ftruncate64(va_list ap) argument
1909 sys_stat64(va_list ap) argument
1913 sys_lstat64(va_list ap) argument
1917 sys_fstat64(va_list ap) argument
1921 sys_lchown32(va_list ap) argument
1925 sys_getgid32(va_list ap) argument
1929 sys_getuid32(va_list ap) argument
1933 sys_geteuid32(va_list ap) argument
1937 sys_getegid32(va_list ap) argument
1941 sys_setreuid32(va_list ap) argument
1945 sys_setregid32(va_list ap) argument
1949 sys_getgroups32(va_list ap) argument
1953 sys_setgroups32(va_list ap) argument
1957 sys_fchown32(va_list ap) argument
1961 sys_setresuid32(va_list ap) argument
1965 sys_getresuid32(va_list ap) argument
1969 sys_setresgid32(va_list ap) argument
1973 sys_getresgid32(va_list ap) argument
1977 sys_chown32(va_list ap) argument
1981 sys_setuid32(va_list ap) argument
1985 sys_setgid32(va_list ap) argument
1989 sys_setfsuid32(va_list ap) argument
1993 sys_setfsgid32(va_list ap) argument
1997 sys_getdents64(va_list ap) argument
2001 sys_pivot_root(va_list ap) argument
2005 sys_mincore(va_list ap) argument
2009 sys_madvise(va_list ap) argument
2013 sys_gettid(va_list ap) argument
2017 sys_readahead(va_list ap) argument
2021 sys_setxattr(va_list ap) argument
2025 sys_lsetxattr(va_list ap) argument
2029 sys_fsetxattr(va_list ap) argument
2033 sys_getxattr(va_list ap) argument
2037 sys_lgetxattr(va_list ap) argument
2041 sys_fgetxattr(va_list ap) argument
2045 sys_listxattr(va_list ap) argument
2049 sys_llistxattr(va_list ap) argument
2053 sys_flistxattr(va_list ap) argument
2057 sys_removexattr(va_list ap) argument
2061 sys_lremovexattr(va_list ap) argument
2065 sys_fremovexattr(va_list ap) argument
2069 sys_tkill(va_list ap) argument
2073 sys_sendfile64(va_list ap) argument
2077 sys_futex(va_list ap) argument
2081 sys_sched_setaffinity(va_list ap) argument
2085 sys_sched_getaffinity(va_list ap) argument
2089 sys_io_setup(va_list ap) argument
2093 sys_io_destroy(va_list ap) argument
2097 sys_io_getevents(va_list ap) argument
2101 sys_io_submit(va_list ap) argument
2105 sys_io_cancel(va_list ap) argument
2109 sys_lookup_dcookie(va_list ap) argument
2113 sys_epoll_create(va_list ap) argument
2117 sys_epoll_ctl(va_list ap) argument
2121 sys_epoll_wait(va_list ap) argument
2125 sys_remap_file_pages(va_list ap) argument
2129 sys_timer_create(va_list ap) argument
2133 sys_timer_settime(va_list ap) argument
2137 sys_timer_gettime(va_list ap) argument
2141 sys_timer_getoverrun(va_list ap) argument
2145 sys_timer_delete(va_list ap) argument
2149 sys_clock_settime(va_list ap) argument
2153 sys_clock_getres(va_list ap) argument
2157 sys_clock_nanosleep(va_list ap) argument
2161 sys_statfs64(va_list ap) argument
2165 sys_fstatfs64(va_list ap) argument
2169 sys_tgkill(va_list ap) argument
2173 sys_utimes(va_list ap) argument
2177 sys_fadvise64_64(va_list ap) argument
2181 sys_pciconfig_iobase(va_list ap) argument
2185 sys_pciconfig_read(va_list ap) argument
2189 sys_pciconfig_write(va_list ap) argument
2193 sys_mq_open(va_list ap) argument
2197 sys_mq_unlink(va_list ap) argument
2201 sys_mq_timedsend(va_list ap) argument
2205 sys_mq_timedreceive(va_list ap) argument
2209 sys_mq_notify(va_list ap) argument
2213 sys_mq_getsetattr(va_list ap) argument
2217 sys_waitid(va_list ap) argument
2221 sys_socket(va_list ap) argument
2225 sys_bind(va_list ap) argument
2229 sys_connect(va_list ap) argument
2233 sys_listen(va_list ap) argument
2237 sys_accept(va_list ap) argument
2241 sys_getsockname(va_list ap) argument
2245 sys_getpeername(va_list ap) argument
2249 sys_socketpair(va_list ap) argument
2253 sys_send(va_list ap) argument
2257 sys_sendto(va_list ap) argument
2261 sys_recv(va_list ap) argument
2265 sys_recvfrom(va_list ap) argument
2269 sys_shutdown(va_list ap) argument
2273 sys_setsockopt(va_list ap) argument
2277 sys_getsockopt(va_list ap) argument
2281 sys_sendmsg(va_list ap) argument
2285 sys_recvmsg(va_list ap) argument
2289 sys_semop(va_list ap) argument
2293 sys_semget(va_list ap) argument
2297 sys_semctl(va_list ap) argument
2301 sys_msgsnd(va_list ap) argument
2305 sys_msgrcv(va_list ap) argument
2309 sys_msgget(va_list ap) argument
2313 sys_msgctl(va_list ap) argument
2317 sys_shmat(va_list ap) argument
2321 sys_shmdt(va_list ap) argument
2325 sys_shmget(va_list ap) argument
2329 sys_shmctl(va_list ap) argument
2333 sys_add_key(va_list ap) argument
2337 sys_request_key(va_list ap) argument
2341 sys_keyctl(va_list ap) argument
2345 sys_semtimedop(va_list ap) argument
2349 sys_vserver(va_list ap) argument
2353 sys_ioprio_set(va_list ap) argument
2357 sys_ioprio_get(va_list ap) argument
2361 sys_inotify_init(va_list ap) argument
2365 sys_inotify_add_watch(va_list ap) argument
2369 sys_inotify_rm_watch(va_list ap) argument
2373 sys_mbind(va_list ap) argument
2377 sys_get_mempolicy(va_list ap) argument
2381 sys_set_mempolicy(va_list ap) argument
2385 sys_openat(va_list ap) argument
2389 sys_mkdirat(va_list ap) argument
2393 sys_mknodat(va_list ap) argument
2397 sys_fchownat(va_list ap) argument
2401 sys_futimesat(va_list ap) argument
2405 sys_fstatat64(va_list ap) argument
2409 sys_unlinkat(va_list ap) argument
2413 sys_renameat(va_list ap) argument
2417 sys_linkat(va_list ap) argument
2421 sys_symlinkat(va_list ap) argument
2425 sys_readlinkat(va_list ap) argument
2429 sys_fchmodat(va_list ap) argument
2433 sys_faccessat(va_list ap) argument
2437 sys_pselect6(va_list ap) argument
2441 sys_ppoll(va_list ap) argument
2445 sys_unshare(va_list ap) argument
2449 sys_set_robust_list(va_list ap) argument
2453 sys_get_robust_list(va_list ap) argument
2457 sys_splice(va_list ap) argument
2461 sys_sync_file_range2(va_list ap) argument
2465 sys_tee(va_list ap) argument
2469 sys_vmsplice(va_list ap) argument
2473 sys_move_pages(va_list ap) argument
2477 sys_getcpu(va_list ap) argument
2481 sys_epoll_pwait(va_list ap) argument
2485 sys_kexec_load(va_list ap) argument
2489 sys_utimensat(va_list ap) argument
2493 sys_signalfd(va_list ap) argument
2497 sys_timerfd_create(va_list ap) argument
2501 sys_eventfd(va_list ap) argument
2505 sys_fallocate(va_list ap) argument
2509 sys_timerfd_settime(va_list ap) argument
2513 sys_timerfd_gettime(va_list ap) argument
2517 sys_signalfd4(va_list ap) argument
2521 sys_eventfd2(va_list ap) argument
2525 sys_epoll_create1(va_list ap) argument
2529 sys_dup3(va_list ap) argument
2533 sys_pipe2(va_list ap) argument
2537 sys_inotify_init1(va_list ap) argument
2541 sys_preadv(va_list ap) argument
2545 sys_pwritev(va_list ap) argument
2549 sys_rt_tgsigqueueinfo(va_list ap) argument
2553 sys_perf_event_open(va_list ap) argument
2557 sys_recvmmsg(va_list ap) argument
2561 sys_accept4(va_list ap) argument
2565 sys_fanotify_init(va_list ap) argument
2569 sys_fanotify_mark(va_list ap) argument
2573 sys_prlimit64(va_list ap) argument
2577 sys_name_to_handle_at(va_list ap) argument
2581 sys_open_by_handle_at(va_list ap) argument
2585 sys_clock_adjtime(va_list ap) argument
2589 sys_syncfs(va_list ap) argument
2593 sys_sendmmsg(va_list ap) argument
2597 sys_setns(va_list ap) argument
2601 sys_process_vm_readv(va_list ap) argument
2605 sys_process_vm_writev(va_list ap) argument
[all...] |
| H A D | sys_ignored.c | 19 long sys_getpid(va_list ap) { argument
24 long sys_umask(va_list ap) { argument
29 long sys_rt_sigaction(va_list ap) { argument
34 long sys_fcntl64(va_list ap) { argument
|
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | syscalls.h | 18 long sys_set_thread_area(va_list ap);
19 long sys_set_tid_address(va_list ap);
20 long sys_sched_yield(va_list ap);
21 long sys_exit(va_list ap);
22 long sys_rt_sigprocmask(va_list ap);
23 long sys_gettid(va_list ap);
24 long sys_getpid(va_list ap);
25 long sys_tgkill(va_list ap);
26 long sys_tkill(va_list ap);
27 long sys_exit_group(va_list ap);
[all...] |
| H A D | sys_thread.c | 16 long sys_set_thread_area(va_list ap) { argument
25 long sys_set_tid_address(va_list ap) { argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | syscalls.h | 18 long sys_set_thread_area(va_list ap);
19 long sys_set_tid_address(va_list ap);
20 long sys_sched_yield(va_list ap);
21 long sys_exit(va_list ap);
22 long sys_rt_sigprocmask(va_list ap);
23 long sys_gettid(va_list ap);
24 long sys_getpid(va_list ap);
25 long sys_tgkill(va_list ap);
26 long sys_tkill(va_list ap);
27 long sys_exit_group(va_list ap);
[all...] |
| H A D | sys_thread.c | 16 long sys_set_thread_area(va_list ap) { argument
25 long sys_set_tid_address(va_list ap) { argument
|
| /seL4-refos-master/libs/libmuslc/src/stdio/ |
| H A D | printf.c | 7 va_list ap; local
8 va_start(ap, fmt);
9 ret = vfprintf(stdout, fmt, ap);
10 va_end(ap);
|
| H A D | vprintf.c | 3 int vprintf(const char *restrict fmt, va_list ap) argument
5 return vfprintf(stdout, fmt, ap);
|
| H A D | vsprintf.c | 4 int vsprintf(char *restrict s, const char *restrict fmt, va_list ap) argument
6 return vsnprintf(s, INT_MAX, fmt, ap);
|
| H A D | vwprintf.c | 4 int vwprintf(const wchar_t *restrict fmt, va_list ap) argument
6 return vfwprintf(stdout, fmt, ap);
|
| /seL4-refos-master/libs/libmuslc/src/legacy/ |
| H A D | err.c | 8 void vwarn(const char *fmt, va_list ap) argument
12 vfprintf(stderr, fmt, ap);
18 void vwarnx(const char *fmt, va_list ap) argument
21 if (fmt) vfprintf(stderr, fmt, ap);
25 _Noreturn void verr(int status, const char *fmt, va_list ap) argument
27 vwarn(fmt, ap);
31 _Noreturn void verrx(int status, const char *fmt, va_list ap) argument
33 vwarnx(fmt, ap);
39 va_list ap; local
40 va_start(ap, fm
47 va_list ap; local
55 va_list ap; local
63 va_list ap; local
[all...] |
| /seL4-refos-master/seL4_tools/elfloader-tool/include/ |
| H A D | vargs.h | 18 #define va_arg(ap, type) __builtin_va_arg(ap, type)
20 #define va_end(ap) __builtin_va_end(ap)
21 #define va_start(ap, parmN) __builtin_va_start(ap, parmN)
|
| /seL4-refos-master/tools/elfloader/include/ |
| H A D | vargs.h | 18 #define va_arg(ap, type) __builtin_va_arg(ap, type)
20 #define va_end(ap) __builtin_va_end(ap)
21 #define va_start(ap, parmN) __builtin_va_start(ap, parmN)
|
| /seL4-refos-master/libs/libmuslc/src/misc/ |
| H A D | syscall.c | 8 va_list ap; local
10 va_start(ap, n);
11 a=va_arg(ap, syscall_arg_t);
12 b=va_arg(ap, syscall_arg_t);
13 c=va_arg(ap, syscall_arg_t);
14 d=va_arg(ap, syscall_arg_t);
15 e=va_arg(ap, syscall_arg_t);
16 f=va_arg(ap, syscall_arg_t);
17 va_end(ap);
|
| /seL4-refos-master/libs/libmuslc/src/linux/ |
| H A D | clone.c | 8 va_list ap; local
12 va_start(ap, arg);
13 ptid = va_arg(ap, pid_t *);
14 tls = va_arg(ap, void *);
15 ctid = va_arg(ap, pid_t *);
16 va_end(ap);
|
| H A D | prctl.c | 9 va_list ap; local
10 va_start(ap, op);
11 for (i=0; i<4; i++) x[i] = va_arg(ap, unsigned long);
12 va_end(ap);
|
| /seL4-refos-master/libs/libmuslc/src/process/ |
| H A D | execle.c | 7 va_list ap; local
8 va_start(ap, argv0);
9 for (argc=1; va_arg(ap, const char *); argc++);
10 va_end(ap);
15 va_start(ap, argv0);
18 argv[i] = va_arg(ap, char *);
19 envp = va_arg(ap, char **);
20 va_end(ap);
|
| /seL4-refos-master/libs/libsel4debug/src/ |
| H A D | printf.c | 32 va_list ap; local
34 va_start(ap, format);
35 ret = vfprintf(stdout, format, ap);
36 va_end(ap);
|
| /seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | printf.c | 32 va_list ap; local
34 va_start(ap, format);
35 ret = vfprintf(stdout, format, ap);
36 va_end(ap);
|