/* Internal function to read the current tick counter of ACPI. */
UINT32 InternalAcpiGetTimerTick(VOID)
/* Internal function to read the current tick counter of ACPI. */
UINT32 InternalAcpiGetTimerTick(VOID)
{
  if (mPmTimerReg == 0) {
    AcpiTimerLibConstructor ();
  }
  return IoRead32 (mPmTimerReg);
}