/* The constructor function enables ACPI IO space, and caches PerformanceCounterFrequency. */
EFI_STATUS CommonAcpiTimerLibConstructor(VOID)
/* The constructor function enables ACPI IO space, and caches PerformanceCounterFrequency. */
EFI_STATUS CommonAcpiTimerLibConstructor(VOID)
{
  EFI_HOB_GUID_TYPE  *GuidHob;
  AcpiTimerLibConstructor ();
  GuidHob = GetFirstGuidHob (&mFrequencyHobGuid);
  if (GuidHob != NULL) {
    mAcpiTimerLibTscFrequency = *(UINT64 *)GET_GUID_HOB_DATA (GuidHob);
  } else {
    mAcpiTimerLibTscFrequency = InternalCalculateTscFrequency ();
  }
  return EFI_SUCCESS;
}