Lines Matching refs:args
44 def final_spec(args, obj_space, cspaces, addr_spaces, targets, architecture):
71 if not args.fprovide_tcb_caps:
110 args = parser.parse_args()
111 register_object_sizes(yaml.load(args.object_sizes, Loader=yaml.FullLoader))
113 if args.which == "build_cnode":
114 data = yaml.load(args.manifest_in, Loader=yaml.FullLoader)
116 elfs = [item for sublist in args.elffile for item in sublist]
117 cspaces = [item for sublist in args.ccspace for item in sublist]
119 manifest(data['cap_symbols'], data['region_symbols'], args.architecture, targets)
122 if args.which == "gen_cdl":
123 if args.static_alloc and not args.untyped:
126 allocator_state = pickle.load(args.manifest_in)
127 elfs = [item for sublist in args.elffile for item in sublist]
128 keys = [item for sublist in args.keys for item in sublist]
130 obj_space = final_spec(args, allocator_state.obj_space, allocator_state.cspaces,
131 allocator_state.addr_spaces, targets, args.architecture)
135 if args.static_alloc:
137 for ut in yaml.load(args.untyped):
144 args.outfile.write(repr(obj_space.spec))
145 if args.save_object_state:
146 pickle.dump(allocator_state, args.save_object_state)