/* Internal function to retrieve the ACPI I/O Port Base Address. */
UINT16 InternalAcpiGetAcpiTimerIoPort(VOID)
/* Internal function to retrieve the ACPI I/O Port Base Address. */
UINT16 InternalAcpiGetAcpiTimerIoPort(VOID)
{
  UINT16  Port;
  Port = PcdGet16 (PcdAcpiIoPortBaseAddress);
  if (PcdGet16 (PcdAcpiIoPciBarRegisterOffset) != 0x0000) {
    Port = PciRead16 (
             PCI_LIB_ADDRESS (
               PcdGet8 (PcdAcpiIoPciBusNumber),
               PcdGet8 (PcdAcpiIoPciDeviceNumber),
               PcdGet8 (PcdAcpiIoPciFunctionNumber),
               PcdGet16 (PcdAcpiIoPciBarRegisterOffset)
               )
             );
  }
  return (Port & PcdGet16 (PcdAcpiIoPortBaseAddressMask)) + PcdGet16 (PcdAcpiPm1TmrOffset);
}