| /seL4-mcs-10.1.1/include/machine/ |
| H A D | io.h | 40 #define printf(args...) kprintf(args)
44 #define printf(args...) ((void)(0))
|
| /seL4-mcs-10.1.1/libsel4/tools/ |
| H A D | bitfield_gen.py | 575 def ptr_basic_template(name, ptrname, retval, args, post):
579 ''' + retval + '''PROC %(name)s_ptr_''' + name + '''(\<acute>%(name)s_ptr''' + args + ''')
582 def ptr_union_basic_template(name, ptrname, retval, args, pre, post):
586 ''' + retval + '''PROC %(name)s_%(block)s_ptr_''' + name + '''(\<acute>%(name)s_ptr''' + args + ''')
611 return ptr_basic_template('new', ptrname, '', ', %(args)s',
636 return ptr_union_basic_template('new', ptrname, '', ', %(args)s', '',
719 PROC %(fun_name)s(%(args)s)
726 PROC %(fun_name)s(%(args)s)
734 \<acute>ret__struct_%(name)s_C :== PROC %(name)s_new(%(args)s)
948 '''PROC %(name)s_%(block)s_new(%(args)
[all...] |
| H A D | invocation_header_gen.py | 192 def generate(args, invocations):
195 if args.libsel4:
198 if args.arch:
201 elif args.sel4_arch:
206 data = template.render({'header_title': header_title, 'libsel4' : args.libsel4, 'invocations' : invocations, 'num_invocations' : len(invocations)})
207 args.dest.write(data)
209 args.dest.close()
212 args = parse_args() variable
214 invocations = parse_xml(args.xml)
215 args
[all...] |
| H A D | syscall_header_gen.py | 232 args = parse_args() variable
234 (api, debug) = parse_xml(args.xml)
235 args.xml.close()
237 if (args.kernel_header is not None):
238 generate_kernel_file(args.kernel_header, api, debug)
239 args.kernel_header.close()
241 if (args.libsel4_header is not None):
242 generate_libsel4_file(args.libsel4_header, api + debug)
243 args.libsel4_header.close()
|
| H A D | syscall_stub_gen.py | 1021 args = parser.parse_args()
1023 if not (args.wsize or args.cfile):
1030 if args.cfile:
1032 with open(args.cfile) as conffile:
1040 wordsize = int(args.wsize)
1047 generate_stub_file(args.arch, wordsize, args.files, args.output, args
[all...] |
| /seL4-mcs-10.1.1/manual/tools/ |
| H A D | gen_invocations.py | 123 args = parser.parse_args()
125 if args.dtd is not None:
126 dtd = etree.DTD(args.dtd)
127 for f in args.files:
130 logging.error("Failed to validate %s against %s" % (f, args.dtd))
134 if not os.path.exists(os.path.dirname(args.output)):
135 os.makedirs(os.path.dirname(args.output))
137 with open(args.output, "w") as output:
138 gen_invocations(args.files, output)
|
| H A D | parse_doxygen_xml.py | 560 args = process_args().parse_args()
562 if not os.path.exists(os.path.dirname(args.output)):
563 os.makedirs(os.path.dirname(args.output))
565 if args.format == "latex":
567 elif args.format == "markdown":
570 output_str = generate_general_syscall_doc(generator, args.input, args.level)
572 with open(args.output, "w") as output_file:
|
| /seL4-mcs-10.1.1/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 575 def ptr_basic_template(name, ptrname, retval, args, post):
579 ''' + retval + '''PROC %(name)s_ptr_''' + name + '''(\<acute>%(name)s_ptr''' + args + ''')
582 def ptr_union_basic_template(name, ptrname, retval, args, pre, post):
586 ''' + retval + '''PROC %(name)s_%(block)s_ptr_''' + name + '''(\<acute>%(name)s_ptr''' + args + ''')
611 return ptr_basic_template('new', ptrname, '', ', %(args)s',
636 return ptr_union_basic_template('new', ptrname, '', ', %(args)s', '',
719 PROC %(fun_name)s(%(args)s)
726 PROC %(fun_name)s(%(args)s)
734 \<acute>ret__struct_%(name)s_C :== PROC %(name)s_new(%(args)s)
948 '''PROC %(name)s_%(block)s_new(%(args)
[all...] |
| H A D | invocation_header_gen.py | 192 def generate(args, invocations):
195 if args.libsel4:
198 if args.arch:
201 elif args.sel4_arch:
206 data = template.render({'header_title': header_title, 'libsel4' : args.libsel4, 'invocations' : invocations, 'num_invocations' : len(invocations)})
207 args.dest.write(data)
209 args.dest.close()
212 args = parse_args() variable
214 invocations = parse_xml(args.xml)
215 args
[all...] |
| H A D | syscall_header_gen.py | 232 args = parse_args() variable
234 (api, debug) = parse_xml(args.xml)
235 args.xml.close()
237 if (args.kernel_header is not None):
238 generate_kernel_file(args.kernel_header, api, debug)
239 args.kernel_header.close()
241 if (args.libsel4_header is not None):
242 generate_libsel4_file(args.libsel4_header, api + debug)
243 args.libsel4_header.close()
|
| H A D | syscall_stub_gen.py | 1021 args = parser.parse_args()
1023 if not (args.wsize or args.cfile):
1030 if args.cfile:
1032 with open(args.cfile) as conffile:
1040 wordsize = int(args.wsize)
1047 generate_stub_file(args.arch, wordsize, args.files, args.output, args
[all...] |
| /seL4-mcs-10.1.1/src/machine/ |
| H A D | io.c | 323 va_list args; local
326 va_start(args, format);
327 i = vprintf(format, args);
328 va_end(args);
|
| /seL4-mcs-10.1.1/tools/ |
| H A D | bitfield_gen.py | 575 def ptr_basic_template(name, ptrname, retval, args, post):
579 ''' + retval + '''PROC %(name)s_ptr_''' + name + '''(\<acute>%(name)s_ptr''' + args + ''')
582 def ptr_union_basic_template(name, ptrname, retval, args, pre, post):
586 ''' + retval + '''PROC %(name)s_%(block)s_ptr_''' + name + '''(\<acute>%(name)s_ptr''' + args + ''')
611 return ptr_basic_template('new', ptrname, '', ', %(args)s',
636 return ptr_union_basic_template('new', ptrname, '', ', %(args)s', '',
719 PROC %(fun_name)s(%(args)s)
726 PROC %(fun_name)s(%(args)s)
734 \<acute>ret__struct_%(name)s_C :== PROC %(name)s_new(%(args)s)
948 '''PROC %(name)s_%(block)s_new(%(args)
[all...] |
| H A D | circular_includes.py | 75 args = parser.parse_args() variable
77 sys.exit(main(args))
|
| H A D | invocation_header_gen.py | 192 def generate(args, invocations):
195 if args.libsel4:
198 if args.arch:
201 elif args.sel4_arch:
206 data = template.render({'header_title': header_title, 'libsel4' : args.libsel4, 'invocations' : invocations, 'num_invocations' : len(invocations)})
207 args.dest.write(data)
209 args.dest.close()
212 args = parse_args() variable
214 invocations = parse_xml(args.xml)
215 args
[all...] |
| H A D | lex.py | 74 self.args = (message,)
90 def critical(self,msg,*args,**kwargs):
91 self.f.write((msg % args) + "\n")
93 def warning(self,msg,*args,**kwargs):
94 self.f.write("WARNING: "+ (msg % args) + "\n")
96 def error(self,msg,*args,**kwargs):
97 self.f.write("ERROR: " + (msg % args) + "\n")
106 def __call__(self,*args,**kwargs):
|
| H A D | reciprocal.py | 44 args = parser.parse_args()
46 magic, shift_amt = magicgu(2**32 - 1, args.divisor)
53 q1, q2 = (i / args.divisor, do_div(i))
58 print("Success! Use (n * %d) >> %d to calculate n / %d" % (magic, shift_amt, args.divisor));
|
| H A D | syscall_header_gen.py | 232 args = parse_args() variable
234 (api, debug) = parse_xml(args.xml)
235 args.xml.close()
237 if (args.kernel_header is not None):
238 generate_kernel_file(args.kernel_header, api, debug)
239 args.kernel_header.close()
241 if (args.libsel4_header is not None):
242 generate_libsel4_file(args.libsel4_header, api + debug)
243 args.libsel4_header.close()
|