... to make sure that IO range used by memory hotlug won't be used by PCI devices.
Signed-off-by: Igor Mammedov <imamm...@redhat.com> --- hw/i386/acpi-dsdt.dsl | 10 +++++++++- hw/i386/q35-acpi-dsdt.dsl | 10 +++++++++- 2 files changed, 18 insertions(+), 2 deletions(-) diff --git a/hw/i386/acpi-dsdt.dsl b/hw/i386/acpi-dsdt.dsl index f93353f..b846195 100644 --- a/hw/i386/acpi-dsdt.dsl +++ b/hw/i386/acpi-dsdt.dsl @@ -39,9 +39,17 @@ DefinitionBlock ( WordIO(ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange, \ 0x0000, \ 0x0000, \ + 0x09FF, \ + 0x0000, \ + 0x0A00, \ + ,, , TypeStatic) \ + /* 0xa00-0xa17 hole for memory hotplug, include/hw/acpi/memory_hotplug.h:ACPI_MEMORY_HOTPLUG_BASE */ \ + WordIO(ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange, \ + 0x0000, \ + 0x0A18, \ 0x0CF7, \ 0x0000, \ - 0x0CF8, \ + 0x02E0, \ ,, , TypeStatic) \ WordIO(ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange, \ 0x0000, \ diff --git a/hw/i386/q35-acpi-dsdt.dsl b/hw/i386/q35-acpi-dsdt.dsl index 3838fc7..766e96d 100644 --- a/hw/i386/q35-acpi-dsdt.dsl +++ b/hw/i386/q35-acpi-dsdt.dsl @@ -52,9 +52,17 @@ DefinitionBlock ( WordIO(ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange, \ 0x0000, \ 0x0000, \ + 0x09FF, \ + 0x0000, \ + 0x0A00, \ + ,, , TypeStatic) \ + /* 0xa00-0xa17 hole for memory hotplug, include/hw/acpi/memory_hotplug.h:ACPI_MEMORY_HOTPLUG_BASE */ \ + WordIO(ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange, \ + 0x0000, \ + 0x0A18, \ 0x0CD7, \ 0x0000, \ - 0x0CD8, \ + 0x02C0, \ ,, , TypeStatic) \ /* 0xcd8-0xcf7 hole for CPU hotplug, hw/acpi/ich9.c:ICH9_PROC_BASE */ \ WordIO(ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange, \ -- 1.9.0