Hi, First two patches allocate (max_reserved_ram - max_addr_cpu_addressable) range for PCI hotplug (for PC Machines) instead of the previous 64-bit PCI window that included only the ranges allocated by the firmware.
The next two patches fix 64-bit CRS computations. v1 -> v2: - resolved some styling issues (Laszlo) - rebase on latest master (Laszlo) Thank you, Marcel Marcel Apfelbaum (4): hw/pc: extract reserved memory end computation to a standalone function pci: reserve 64 bit MMIO range for PCI hotplug acpi: refactor pxb crs computation hw/apci: handle 64-bit MMIO regions correctly hw/i386/acpi-build.c | 127 ++++++++++++++++++++++++++++++++++++--------------- hw/i386/pc.c | 29 ++++++++---- hw/pci/pci.c | 16 ++++++- include/hw/i386/pc.h | 1 + 4 files changed, 127 insertions(+), 46 deletions(-) -- 2.4.3