/* Stalls the CPU for at least the given number of ticks. It's invoked by  */
VOID InternalAcpiDelay(IN UINT32 Delay)
/* Stalls the CPU for at least the given number of ticks. It's invoked by  */
VOID InternalAcpiDelay(IN UINT32 Delay)
{
  UINT32  Ticks;
  UINT32  Times;
  Times  = Delay >> 22;
  Delay &= BIT22 - 1;
  do {
    Ticks = InternalAcpiGetTimerTick () + Delay;
    Delay = BIT22;
    while (((Ticks - InternalAcpiGetTimerTick ()) & BIT23) == 0) {
      CpuPause ();
    }
  } while (Times-- > 0);
}