Searched refs:default_firmware (Results 1 – 3 of 3) sorted by relevance
118 void x86_bios_rom_init(MachineState *ms, const char *default_firmware,
161 const char *default_firmware; in microvm_devices_init() local278 default_firmware = x86_machine_is_acpi_enabled(x86ms) in microvm_devices_init()281 x86_bios_rom_init(MACHINE(mms), default_firmware, get_system_memory(), true); in microvm_devices_init()
1136 void x86_bios_rom_init(MachineState *ms, const char *default_firmware, in x86_bios_rom_init() argument1146 bios_name = ms->firmware ?: default_firmware; in x86_bios_rom_init()