/* Internal function to read the current tick counter of local APIC. */
INT32 EFIAPI InternalX86GetTimerTick(IN UINTN ApicBase)
/* Internal function to read the current tick counter of local APIC. */
INT32 EFIAPI InternalX86GetTimerTick(IN UINTN ApicBase)
{
  return MmioRead32 (ApicBase + APIC_TMCCT);
}