/* Internal function to return the frequency of the local APIC timer. */
UINT32 EFIAPI InternalX86GetTimerFrequency(IN UINTN ApicBase)
/* Internal function to return the frequency of the local APIC timer. */
UINT32 EFIAPI InternalX86GetTimerFrequency(IN UINTN ApicBase)
{
  return
    PcdGet32 (PcdFSBClock) /
    mTimerLibLocalApicDivisor[MmioBitFieldRead32 (ApicBase + APIC_TDCR, 0, 3)];
}