/* Read the current count value from the current-count register. */
UINT32 EFIAPI GetApicTimerCurrentCount(VOID)
/* Read the current count value from the current-count register. */
UINT32 EFIAPI GetApicTimerCurrentCount(VOID)
{
  return ReadLocalApicReg (XAPIC_TIMER_CURRENT_COUNT_OFFSET);
}