Searched refs:default_firmware (Results 1 – 2 of 2) sorted by relevance
128 void x86_bios_rom_init(X86MachineState *x86ms, const char *default_firmware,
162 const char *default_firmware; in microvm_devices_init() local279 default_firmware = x86_machine_is_acpi_enabled(x86ms) in microvm_devices_init()282 x86_bios_rom_init(x86ms, default_firmware, get_system_memory(), true); in microvm_devices_init()