Searched refs:bios_name (Results 1 – 5 of 5) sorted by relevance
215 if (bios_name == NULL) in mips_r4k_init()216 bios_name = BIOS_FILENAME; in mips_r4k_init()217 filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, bios_name); in mips_r4k_init()241 bios_name); in mips_r4k_init()
970 if (bios_name == NULL)971 bios_name = BIOS_FILENAME;972 filename = qemu_find_file(QEMU_FILE_TYPE_BIOS, bios_name);986 fprintf(stderr, "qemu: could not load PC BIOS '%s'\n", bios_name);
17 extern const char *bios_name;
188 const char *bios_name = NULL; variable2459 bios_name = optarg; in main()
254 const char *bios_name = NULL; variable2952 bios_name = optarg; in main()