/seL4-mcs-10.1.1/manual/tools/ |
H A D | gen_env.py | 16 import sys namespace 21 if len(sys.argv) != 2: 23 sys.exit(1) 24 output_filename = sys.argv[1] 47 with open(sys.argv[1], "r") as f: 52 with open(sys.argv[1], "w") as f: 56 sys.exit(0)
|
H A D | gen_invocations.py | 20 import sys namespace 141 sys.exit(main())
|
H A D | parse_doxygen_xml.py | 19 import sys namespace 418 for num,item in zip(xrange(sys.maxint),para.contents): 576 sys.exit(main())
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls_sysenter.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument 34 : "a" (sys), 46 x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 54 : "a" (sys), 62 x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument 81 : "a" (sys), 94 x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, 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 113 : "a" (sys), 131 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, 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 149 : "a" (sys), 166 x64_sys_null(seL4_Word sys) argument [all...] |
H A D | syscalls_syscall.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument 33 : "d" (sys), 45 x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 52 : "d" (sys), 60 x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument 78 : "d" (sys), 90 x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, 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 108 : "d" (sys), 125 x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, seL4_Word info, 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 144 : "d" (sys), 161 x64_sys_null(seL4_Word sys) argument [all...] |
/seL4-mcs-10.1.1/libsel4/tools/ |
H A D | syscall_header_gen.py | 20 import sys namespace 156 file=sys.stderr) 183 print("Error: invalid xml file.", file=sys.stderr) 184 sys.exit(-1) 189 file=sys.stderr) 190 sys.exit(-1) 195 file=sys.stderr) 196 sys.exit(-1) 200 file=sys.stderr) 201 sys [all...] |
H A D | invocation_header_gen.py | 19 import sys namespace 183 print("Error: invalid xml file", file=sys.stderr) 184 sys.exit(-1)
|
H A D | bitfield_gen.py | 21 import sys namespace 118 print("%s: Unexpected character '%s'" % (sys.argv[0], t.value[0]), 119 file=sys.stderr) 121 print('Token: %s' % str(t), file=sys.stderr) 122 sys.exit(1) 222 print("Syntax error at token '%s'" % t.value, file=sys.stderr) 223 sys.exit(1) 2096 print("-----%s.%s" % (self.name, self.tagname), file=sys.stderr) 2099 file=sys.stderr) 2558 print('Temp file: %r -> %r' % (self.file.name, self.filename), file=sys [all...] |
H A D | syscall_stub_gen.py | 50 import sys namespace 1025 sys.exit(2) 1038 sys.exit(2) 1044 sys.exit(2) 1051 sys.exit(main())
|
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
H A D | syscall_header_gen.py | 20 import sys namespace 156 file=sys.stderr) 183 print("Error: invalid xml file.", file=sys.stderr) 184 sys.exit(-1) 189 file=sys.stderr) 190 sys.exit(-1) 195 file=sys.stderr) 196 sys.exit(-1) 200 file=sys.stderr) 201 sys [all...] |
H A D | invocation_header_gen.py | 19 import sys namespace 183 print("Error: invalid xml file", file=sys.stderr) 184 sys.exit(-1)
|
H A D | bitfield_gen.py | 21 import sys namespace 118 print("%s: Unexpected character '%s'" % (sys.argv[0], t.value[0]), 119 file=sys.stderr) 121 print('Token: %s' % str(t), file=sys.stderr) 122 sys.exit(1) 222 print("Syntax error at token '%s'" % t.value, file=sys.stderr) 223 sys.exit(1) 2096 print("-----%s.%s" % (self.name, self.tagname), file=sys.stderr) 2099 file=sys.stderr) 2558 print('Temp file: %r -> %r' % (self.file.name, self.filename), file=sys [all...] |
H A D | syscall_stub_gen.py | 50 import sys namespace 1025 sys.exit(2) 1038 sys.exit(2) 1044 sys.exit(2) 1051 sys.exit(main())
|
/seL4-mcs-10.1.1/tools/ |
H A D | syscall_header_gen.py | 20 import sys namespace 156 file=sys.stderr) 183 print("Error: invalid xml file.", file=sys.stderr) 184 sys.exit(-1) 189 file=sys.stderr) 190 sys.exit(-1) 195 file=sys.stderr) 196 sys.exit(-1) 200 file=sys.stderr) 201 sys [all...] |
H A D | circular_includes.py | 19 import sys namespace 41 for line in sys.stdin: 77 sys.exit(main(args))
|
H A D | reciprocal.py | 24 import sys namespace 36 sys.exit(1) 56 sys.exit(-1)
|
H A D | invocation_header_gen.py | 19 import sys namespace 183 print("Error: invalid xml file", file=sys.stderr) 184 sys.exit(-1)
|
H A D | umm.py | 16 import sys namespace 130 print_graph('umm_types.txt', sys.stdout)
|
H A D | lex.py | 40 import re, sys, types, copy, os namespace 59 if sys.version_info[0] < 3: 227 if sys.version_info[0] < 3: 440 e,b,t = sys.exc_info() 564 self.log = PlyLogger(sys.stderr) 717 if sys.version_info[0] < 3: 725 if sys.version_info[0] < 3: 770 _etype, e, _etrace = sys.exc_info() 795 _etype, e, _etrace = sys.exc_info() 883 errorlog = PlyLogger(sys [all...] |
H A D | bitfield_gen.py | 21 import sys namespace 118 print("%s: Unexpected character '%s'" % (sys.argv[0], t.value[0]), 119 file=sys.stderr) 121 print('Token: %s' % str(t), file=sys.stderr) 122 sys.exit(1) 222 print("Syntax error at token '%s'" % t.value, file=sys.stderr) 223 sys.exit(1) 2096 print("-----%s.%s" % (self.name, self.tagname), file=sys.stderr) 2099 file=sys.stderr) 2558 print('Temp file: %r -> %r' % (self.file.name, self.filename), file=sys [all...] |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument 65 register seL4_Word scno asm("r7") = sys; 75 arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument 81 register seL4_Word scno asm("r7") = sys; 90 arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument 103 register seL4_Word scno asm("r7") = sys; 120 arm_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, seL4_Word reply) argument 133 register seL4_Word scno asm("r7") = sys; 150 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, argument 167 register seL4_Word scno asm("r7") = sys; 185 arm_sys_null(seL4_Word sys) argument [all...] |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument 65 register seL4_Word scno asm("x7") = sys; 75 arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument 81 register seL4_Word scno asm("x7") = sys; 90 arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument 103 register seL4_Word scno asm("x7") = sys; 120 arm_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, seL4_Word reply) argument 133 register seL4_Word scno asm("x7") = sys; 150 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, argument 167 register seL4_Word scno asm("x7") = sys; 186 arm_sys_null(seL4_Word sys) argument [all...] |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument 65 register seL4_Word scno asm("r7") = sys; 75 arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument 81 register seL4_Word scno asm("r7") = sys; 90 arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr0, seL4_Word *out_mr1, seL4_Word *out_mr2, seL4_Word *out_mr3, seL4_Word reply) argument 103 register seL4_Word scno asm("r7") = sys; 120 arm_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, seL4_Word reply) argument 133 register seL4_Word scno asm("r7") = sys; 150 arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, seL4_Word info_arg, argument 167 register seL4_Word scno asm("r7") = sys; 185 arm_sys_null(seL4_Word sys) argument [all...] |
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 33 x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1) argument 46 : "a" (sys), 54 x86_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info) argument 67 : "a" (sys), 74 x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr1, seL4_Word reply) argument 94 : "a" (sys), 101 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, seL4_Word reply) argument 121 : "a" (sys), 130 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 150 : "a" (sys), 159 x86_sys_null(seL4_Word sys) argument 179 x86_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word mr1) argument 198 x86_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument 216 x86_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word *out_mr1, seL4_Word reply) argument 238 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, seL4_Word reply) argument 262 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 286 x86_sys_null(seL4_Word sys) argument [all...] |
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 28 riscv_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument 41 register seL4_Word scno asm("a7") = sys; 51 riscv_sys_reply(seL4_Word sys, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, argument 63 register seL4_Word scno asm("a7") = sys; 73 riscv_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument 79 register seL4_Word scno asm("a7") = sys; 88 riscv_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, seL4_Word argument 101 register seL4_Word scno asm("a7") = sys; 118 riscv_sys_null(seL4_Word sys) argument 120 register seL4_Word scno asm("a7") = sys; 129 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) argument [all...] |