Lines Matching defs:args
226 args = parse_args()
228 (api, debug) = parse_xml(args.xml, args.mcs)
229 args.xml.close()
231 if (args.kernel_header is not None):
232 generate_kernel_file(args.kernel_header, api, debug)
233 args.kernel_header.close()
235 if (args.libsel4_header is not None):
236 generate_libsel4_file(args.libsel4_header, api + debug)
237 args.libsel4_header.close()