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

Reply via email to