Searched refs:sys (Results 1 - 25 of 25) sorted by relevance

/seL4-mcs-10.1.1/manual/tools/
H A Dgen_env.py16 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 Dgen_invocations.py20 import sys namespace
141 sys.exit(main())
H A Dparse_doxygen_xml.py19 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 Dsyscalls_sysenter.h21 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 Dsyscalls_syscall.h21 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 Dsyscall_header_gen.py20 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 Dinvocation_header_gen.py19 import sys namespace
183 print("Error: invalid xml file", file=sys.stderr)
184 sys.exit(-1)
H A Dbitfield_gen.py21 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 Dsyscall_stub_gen.py50 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 Dsyscall_header_gen.py20 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 Dinvocation_header_gen.py19 import sys namespace
183 print("Error: invalid xml file", file=sys.stderr)
184 sys.exit(-1)
H A Dbitfield_gen.py21 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 Dsyscall_stub_gen.py50 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 Dsyscall_header_gen.py20 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 Dcircular_includes.py19 import sys namespace
41 for line in sys.stdin:
77 sys.exit(main(args))
H A Dreciprocal.py24 import sys namespace
36 sys.exit(1)
56 sys.exit(-1)
H A Dinvocation_header_gen.py19 import sys namespace
183 print("Error: invalid xml file", file=sys.stderr)
184 sys.exit(-1)
H A Dumm.py16 import sys namespace
130 print_graph('umm_types.txt', sys.stdout)
H A Dlex.py40 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 Dbitfield_gen.py21 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 Dsyscalls.h53 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 Dsyscalls.h53 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 Dsyscalls.h53 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 Dsyscalls.h33 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 Dsyscalls.h28 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...]

Completed in 78 milliseconds