Searched refs:dump_machine_type (Results 1 – 9 of 9) sorted by relevance
494 static void dump_machine_type(FILE *out_file) in dump_machine_type() function511 dump_machine_type(out_file); in dump_vmstate_json_to_file()
616 static void dump_machine_type(FILE *out_file) in dump_machine_type() function633 dump_machine_type(out_file); in dump_vmstate_json_to_file()
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()
617 static void dump_machine_type(FILE *out_file) in dump_machine_type() function634 dump_machine_type(out_file); in dump_vmstate_json_to_file()
644 static void dump_machine_type(FILE *out_file) in dump_machine_type() function661 dump_machine_type(out_file); in dump_vmstate_json_to_file()
643 static void dump_machine_type(FILE *out_file) in dump_machine_type() function660 dump_machine_type(out_file); in dump_vmstate_json_to_file()