#include <Library/PcdLib.h>\r
#include <OvmfPlatforms.h>\r
\r
-//\r
-// Power Management PCI Configuration Register fields\r
-//\r
-#define PMBA_RTE BIT0\r
-\r
-//\r
-// Offset in the Power Management Base Address to the ACPI Timer\r
-//\r
-#define ACPI_TIMER_OFFSET 0x8\r
-\r
//\r
// Cached ACPI Timer IO Address\r
//\r