| /seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/ |
| H A D | teststrhash.py | 19 import codecs, os, subprocess, sys, unittest namespace
24 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
| H A D | lint.py | 19 import os, pylint, re, sys, unittest namespace
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| H A D | lintsource.py | 19 import os, re, sys, unittest namespace
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| /seL4-camkes-master/projects/camkes-tool/camkes/runner/tests/ |
| H A D | lintsource.py | 19 import os, re, sys, unittest namespace
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/tests/ |
| H A D | lint.py | 19 import os, pylint, re, sys, unittest namespace
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| H A D | lintsource.py | 19 import os, re, sys, unittest namespace
25 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| H A D | testbadidioms.py | 23 import os, re, subprocess, sys, unittest namespace
28 sys.path.append(os.path.join(os.path.dirname(ME), '../../..'))
|
| /seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
| H A D | signals.c | 31 #include <sys/cdefs.h>
32 #include <sys/types.h>
|
| H A D | syscall_mman.c | 34 #include <sys/cdefs.h>
36 #include <sys/param.h>
37 #include <sys/mman.h>
38 #include <sys/syscall.h>
39 #include <sys/syscallargs.h>
|
| H A D | _lwp.c | 27 #include <sys/cdefs.h>
29 #include <sys/param.h>
30 #include <sys/lwpctl.h>
31 #include <sys/lwp.h>
32 #include <sys/queue.h>
33 #include <sys/time.h>
34 #include <sys/tls.h>
|
| /seL4-camkes-master/projects/musllibc/include/sys/ |
| H A D | types.h | 71 #include <sys/select.h>
72 #include <sys/sysmacros.h>
|
| H A D | epoll.h | 9 #include <sys/types.h>
68 #endif /* sys/epoll.h */
|
| H A D | sem.h | 17 #include <sys/ipc.h>
|
| /seL4-camkes-master/projects/musllibc/src/stat/ |
| H A D | utimensat.c | 1 #include <sys/stat.h>
2 #include <sys/time.h>
|
| /seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
| H A D | elf_sift.py | 15 import sys namespace
91 sys.exit(main())
|
| H A D | shoehorn.py | 23 import sys namespace
38 sys.stderr.write('{}: {}\n'.format(program_name, message))
58 sys.exit(status)
222 sys.stdout.write('#define IMAGE_START_ADDR 0x{load:x}\n'
228 sys.exit(main())
|
| /seL4-camkes-master/tools/seL4/misc/ |
| H A D | filter.py | 10 import sys namespace
56 sys.exit(main())
|
| /seL4-camkes-master/tools/cogent/cogent/tests/ |
| H A D | run-test-suite.py | 7 import sys namespace
16 if sys.version_info[0] < 3:
19 sys.version_info[0], sys.version_info[1], sys.version_info[2]))
20 sys.exit(1)
23 PYTHON_V37 = sys.version_info[0] == 3 and sys.version_info[1] >= 7
40 sys.exit(1)
464 sys
[all...] |
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | sys_io.c | 27 #include <sys/resource.h>
28 #include <sys/mman.h>
29 #include <sys/uio.h>
31 #include <sys/types.h>
32 #include <sys/socket.h>
|
| /seL4-camkes-master/tools/cogent/cogent/examples/brutal/ |
| H A D | brutal_manual.c | 57 findStuff_ret_t findStuff (SysState *sys, char *name) { argument
58 get_block_ret_t ret_block = get_block(sys);
59 sys = ret_block.p1;
69 return (findStuff_ret_t){ .p1 = sys, .p2 = stuff_ptr(e) };
72 return (findStuff_ret_t){ .p1 = sys, .p2 = NULL};
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 33 static inline void x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, argument
48 : "a"(sys),
60 static inline void x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
73 : "a"(sys),
82 static inline void x86_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info) argument
95 : "a"(sys),
101 static inline void x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument
122 : "a"(sys),
128 static inline void x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info, argument
149 : "a"(sys),
161 x86_sys_nbsend_wait(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) argument
193 x86_sys_null(seL4_Word sys) argument
212 x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
239 x86_sys_reply(seL4_Word sys, seL4_Word info, seL4_Word mr1, seL4_Word mr2) argument
259 x86_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
276 x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr1, MCS_COND(seL4_Word reply, seL4_Word *out_mr2)) argument
298 x86_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, MCS_COND(seL4_Word reply, seL4_Word *in_out_mr2)) argument
326 x86_sys_nbsend_wait(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr1, seL4_Word reply) argument
351 x86_sys_null(seL4_Word sys) argument
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4serialserver/include/serial_server/ |
| H A D | client.h | 14 #include <sys/types.h>
|
| /seL4-camkes-master/projects/musllibc/include/net/ |
| H A D | ethernet.h | 9 #include <sys/types.h>
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | clock.c | 111 apq8064_gate_enable(clock_sys_t* sys, enum clock_gate gate, enum clock_gate_mode mode) argument
113 (void)sys;
120 clk_print_clock_tree(clock_sys_t* sys) argument
122 clk_t *clk = clk_get_clock(sys, CLK_MASTER);
|
| /seL4-camkes-master/tools/riscv-pk/pk/ |
| H A D | frontend.h | 7 #include <sys/stat.h>
|