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