/* Internal function to retrieves the 64-bit frequency in Hz. */
UINT64 InternalGetPerformanceCounterFrequency(VOID)
/* Internal function to retrieves the 64-bit frequency in Hz. */
UINT64 InternalGetPerformanceCounterFrequency(VOID)
{
  UINT64             *PerformanceCounterFrequency;
  EFI_HOB_GUID_TYPE  *GuidHob;
  PerformanceCounterFrequency = NULL;
  GuidHob                     = GetFirstGuidHob (&mFrequencyHobGuid);
  if (GuidHob == NULL) {
    PerformanceCounterFrequency = (UINT64 *)BuildGuidHob (&mFrequencyHobGuid, sizeof (*PerformanceCounterFrequency));
    ASSERT (PerformanceCounterFrequency != NULL);
    *PerformanceCounterFrequency = InternalCalculateTscFrequency ();
  } else {
    PerformanceCounterFrequency = (UINT64 *)GET_GUID_HOB_DATA (GuidHob);
  }
  return *PerformanceCounterFrequency;
}