On Fri, Apr 27, 2012 at 07:31, Laszlo Ersek <ler...@redhat.com> wrote: > edk2's "OvmfPkg/AcpiTables/Platform.h" specifies GPE0_BLK at 0x40C, > while qemu's "hw/acpi_piix4.c" expects the guest to access it at 0xAFE0. > Which macro should be modified to get them in sync?
Do they need to be in sync? We set PBMA to 0x400 in OvmfPkg/Library/AcpiTimerLib/AcpiTimerLib.c, so isn't 0x40c correct? Thanks, -Jordan