On 07/18/16 15:34, Igor Mammedov wrote: > On Sun, 17 Jul 2016 19:53:09 +0300 > Marcel Apfelbaum <mar...@redhat.com> wrote: > >> Add an ivshmem device with 1G shared memory to >> pxb in order to check the ACPI code of 64bit MMIO allocation. > what is forcing ivshmem to be mapped above 4G?
Speaking for OVMF: unlike SeaBIOS, the edk2 PCI bus driver prefers to map 64-bit BARs outside of 32-bit address space, regardless of how much room is left in the 32-bit MMIO aperture. Thanks Laszlo
