/* Internal function to read the initial timer count of local APIC. */
UINT32 InternalX86GetInitTimerCount(IN UINTN ApicBase)
/* Internal function to read the initial timer count of local APIC. */
UINT32 InternalX86GetInitTimerCount(IN UINTN ApicBase)
{
  return MmioRead32 (ApicBase + APIC_TMICT);
}