/* If ACPI I/O space not enabled, this function will enable it. It will always return RETURN_SUCCESS. */
RETURN_STATUS EFIAPI AcpiTimerLibConstructor(VOID)
/* If ACPI I/O space not enabled, this function will enable it. It will always return RETURN_SUCCESS. */
RETURN_STATUS EFIAPI AcpiTimerLibConstructor(VOID)
{
  EFI_HOB_GUID_TYPE  *GuidHob;
  ACPI_BOARD_INFO    *pAcpiBoardInfo;
  GuidHob = GetFirstGuidHob (&gUefiAcpiBoardInfoGuid);
  ASSERT (GuidHob != NULL);
  pAcpiBoardInfo = (ACPI_BOARD_INFO *)GET_GUID_HOB_DATA (GuidHob);
  mPmTimerReg = (UINTN)pAcpiBoardInfo->PmTimerRegBase;
  return EFI_SUCCESS;
}