Searched refs:user_vm_id (Results 1 – 3 of 3) sorted by relevance
13 def generate_launch_script(board, scenario, user_vm_id=0): argument34 … launch_cfg_gen_main(board_file_path, scenario_file_path, user_vm_id, launch_script_output_dir)
436 def main(board_xml, scenario_xml, user_vm_id, out_dir): argument464 if user_vm_id == 0:467 post_vm_ids = [user_vm_id + service_vm_id]
413 user_vm_id = int(old_vm_node.get("id")) - self.service_vm_id
Completed in 11 milliseconds