/* Internal function to return the frequency of the local APIC timer. */
UINT32 EFIAPI InternalX86GetTimerFrequency(VOID)
/* Internal function to return the frequency of the local APIC timer. */
UINT32 EFIAPI InternalX86GetTimerFrequency(VOID)
{
  UINTN  Divisor;
  GetApicTimerState (&Divisor, NULL, NULL);
  return PcdGet32 (PcdFSBClock) / (UINT32)Divisor;
}