Searched refs:dump_machine_type (Results 1 – 1 of 1) sorted by relevance
618 static void dump_machine_type(FILE *out_file) in dump_machine_type() function635 dump_machine_type(out_file); in dump_vmstate_json_to_file()