/* A local utility function that returns the PCD value, if specified. Otherwise it defaults to ArmGenericTimerGetTimerFreq. */
STATIC UINTN EFIAPI GetPlatformTimerFreq()
/* A local utility function that returns the PCD value, if specified. Otherwise it defaults to ArmGenericTimerGetTimerFreq. */
STATIC UINTN EFIAPI GetPlatformTimerFreq()
{
  UINTN  TimerFreq;
  TimerFreq = PcdGet32 (PcdArmArchTimerFreqInHz);
  if (TimerFreq == 0) {
    TimerFreq = ArmGenericTimerGetTimerFreq ();
  }
  return TimerFreq;
}