/* Read the initial count value from the init-count register. */
UINT32 EFIAPI GetApicTimerInitCount(VOID)
/* Read the initial count value from the init-count register. */
UINT32 EFIAPI GetApicTimerInitCount(VOID)
{
  return ReadLocalApicReg (XAPIC_TIMER_INIT_COUNT_OFFSET);
}