| /seL4-camkes-master/projects/musllibc/src/misc/ |
| H A D | setrlimit.c | 1 #include <sys/resource.h>
|
| /seL4-camkes-master/projects/musllibc/src/mman/ |
| H A D | shm_open.c | 1 #include <sys/mman.h>
|
| /seL4-camkes-master/projects/musllibc/src/network/ |
| H A D | getservbyname_r.c | 2 #include <sys/socket.h>
|
| H A D | getservbyport_r.c | 2 #include <sys/socket.h>
|
| H A D | inet_ntop.c | 1 #include <sys/socket.h>
|
| H A D | lookup_ipliteral.c | 1 #include <sys/socket.h>
|
| /seL4-camkes-master/projects/musllibc/src/process/ |
| H A D | system.c | 4 #include <sys/wait.h>
|
| /seL4-camkes-master/projects/musllibc/src/stat/ |
| H A D | fchmodat.c | 1 #include <sys/stat.h>
|
| /seL4-camkes-master/projects/musllibc/src/stdio/ |
| H A D | __fdopen.c | 3 #include <sys/ioctl.h>
|
| H A D | __stdio_write.c | 2 #include <sys/uio.h>
|
| H A D | tempnam.c | 4 #include <sys/stat.h>
|
| /seL4-camkes-master/projects/musllibc/src/thread/ |
| H A D | pthread_join.c | 2 #include <sys/mman.h>
|
| H A D | sem_open.c | 2 #include <sys/mman.h>
11 #include <sys/stat.h>
|
| /seL4-camkes-master/projects/musllibc/src/unistd/ |
| H A D | faccessat.c | 4 #include <sys/wait.h>
|
| /seL4-camkes-master/tools/rumprun/tests/basic/ |
| H A D | tls_test.c | 2 #include <sys/types.h>
|
| /seL4-camkes-master/projects/lwip/src/netif/ppp/ |
| H A D | demand.c | 42 #include <sys/param.h>
43 #include <sys/types.h>
44 #include <sys/wait.h>
45 #include <sys/time.h>
46 #include <sys/resource.h>
47 #include <sys/stat.h>
48 #include <sys/socket.h>
|
| /seL4-camkes-master/projects/picotcp/test/python/ |
| H A D | topology.py | 7 import sys, os, subprocess, time, re namespace
11 sys.exit("\nOnly root can use real devices contained in this script\n")
194 sys.exit(0)
202 sys.exit(1)
206 sys.exit(0)
|
| /seL4-camkes-master/kernel/tools/ |
| H A D | lex.py | 41 import sys namespace
62 if sys.version_info[0] < 3:
242 if sys.version_info[0] < 3:
461 e, b, t = sys.exc_info()
592 self.log = PlyLogger(sys.stderr)
749 if sys.version_info[0] < 3:
758 if sys.version_info[0] < 3:
804 _etype, e, _etrace = sys.exc_info()
832 _etype, e, _etrace = sys.exc_info()
924 errorlog = PlyLogger(sys
[all...] |
| /seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 25 static inline void riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument
38 register seL4_Word scno asm("a7") = sys;
48 static inline void riscv_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, argument
60 register seL4_Word scno asm("a7") = sys;
70 static inline void riscv_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
76 register seL4_Word scno asm("a7") = sys;
84 static inline void riscv_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word argument
98 register seL4_Word scno asm("a7") = sys;
114 static inline void riscv_sys_null(seL4_Word sys) argument
116 register seL4_Word scno asm("a7") = sys;
124 riscv_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, LIBSEL4_UNUSED seL4_Word reply) argument
158 riscv_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3, seL4_Word reply) argument
[all...] |
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
| H A D | testcpp.py | 19 import os, shutil, stat, subprocess, sys, tempfile, unittest namespace
24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| H A D | testexamples.py | 24 import functools, os, re, sys, unittest namespace
29 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| H A D | teststage6.py | 19 import os, six, sys, unittest namespace
24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| /seL4-camkes-master/projects/musllibc/include/netinet/ |
| H A D | tcp.h | 62 #include <sys/types.h>
63 #include <sys/socket.h>
|
| /seL4-camkes-master/projects/musllibc/include/sys/ |
| H A D | mtio.h | 4 #include <sys/types.h>
5 #include <sys/ioctl.h>
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_dev_tap.c | 10 #include <sys/ioctl.h>
21 #include <sys/poll.h>
|