|
@@ -775,7 +775,7 @@ void xen_load_linux(PCMachineState *pcms)
|
|
rom_set_fw(fw_cfg);
|
|
rom_set_fw(fw_cfg);
|
|
|
|
|
|
x86_load_linux(x86ms, fw_cfg, pcmc->acpi_data_size,
|
|
x86_load_linux(x86ms, fw_cfg, pcmc->acpi_data_size,
|
|
- pcmc->pvh_enabled, pcmc->linuxboot_dma_enabled);
|
|
|
|
|
|
+ pcmc->pvh_enabled);
|
|
for (i = 0; i < nb_option_roms; i++) {
|
|
for (i = 0; i < nb_option_roms; i++) {
|
|
assert(!strcmp(option_rom[i].name, "linuxboot.bin") ||
|
|
assert(!strcmp(option_rom[i].name, "linuxboot.bin") ||
|
|
!strcmp(option_rom[i].name, "linuxboot_dma.bin") ||
|
|
!strcmp(option_rom[i].name, "linuxboot_dma.bin") ||
|
|
@@ -927,7 +927,7 @@ void pc_memory_init(PCMachineState *pcms,
|
|
|
|
|
|
if (linux_boot) {
|
|
if (linux_boot) {
|
|
x86_load_linux(x86ms, fw_cfg, pcmc->acpi_data_size,
|
|
x86_load_linux(x86ms, fw_cfg, pcmc->acpi_data_size,
|
|
- pcmc->pvh_enabled, pcmc->linuxboot_dma_enabled);
|
|
|
|
|
|
+ pcmc->pvh_enabled);
|
|
}
|
|
}
|
|
|
|
|
|
for (i = 0; i < nb_option_roms; i++) {
|
|
for (i = 0; i < nb_option_roms; i++) {
|
|
@@ -1664,7 +1664,6 @@ static void pc_machine_class_init(ObjectClass *oc, void *data)
|
|
/* BIOS ACPI tables: 128K. Other BIOS datastructures: less than 4K reported
|
|
/* BIOS ACPI tables: 128K. Other BIOS datastructures: less than 4K reported
|
|
* to be used at the moment, 32K should be enough for a while. */
|
|
* to be used at the moment, 32K should be enough for a while. */
|
|
pcmc->acpi_data_size = 0x20000 + 0x8000;
|
|
pcmc->acpi_data_size = 0x20000 + 0x8000;
|
|
- pcmc->linuxboot_dma_enabled = true;
|
|
|
|
pcmc->pvh_enabled = true;
|
|
pcmc->pvh_enabled = true;
|
|
pcmc->kvmclock_create_always = true;
|
|
pcmc->kvmclock_create_always = true;
|
|
assert(!mc->get_hotplug_handler);
|
|
assert(!mc->get_hotplug_handler);
|