/* Stalls the CPU for at least the given number of ticks. It's invoked by  */
VOID InternalCpuDelay(IN UINT64 Delay)
/* Stalls the CPU for at least the given number of ticks. It's invoked by  */
VOID InternalCpuDelay(IN UINT64 Delay)
{
  UINT64  Ticks;
  Ticks = AsmReadTsc () + Delay;
  while (AsmReadTsc () <= Ticks) {
    CpuPause ();
  }
}