Lines Matching defs:args
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()
214 invocations = parse_xml(args.xml)
215 args.xml.close()
217 generate(args, invocations)