Searched refs:default_firmware (Results 1 – 3 of 3) sorted by relevance
130 void x86_bios_rom_init(X86MachineState *x86ms, 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(x86ms, default_firmware, get_system_memory(), true); in microvm_devices_init()
989 void x86_bios_rom_init(X86MachineState *x86ms, const char *default_firmware, in x86_bios_rom_init() argument998 bios_name = MACHINE(x86ms)->firmware ?: default_firmware; in x86_bios_rom_init()