/* Read the current ACPI tick counter using the counter address cached by this instance's constructor. */
UINT32 InternalAcpiGetTimerTick(VOID)
/* Read the current ACPI tick counter using the counter address cached by this instance's constructor. */
UINT32 InternalAcpiGetTimerTick(VOID)
{
  return IoRead32 (mAcpiTimerIoAddr);
}