/* Program either using stimecmp (when Sstc extension is enabled) or using SBI TIME call. */
STATIC VOID RiscVProgramTimer(UINT64 NextValue)
/* Program either using stimecmp (when Sstc extension is enabled) or using SBI TIME call. */
STATIC VOID RiscVProgramTimer(UINT64 NextValue)
{
  if (mSstcEnabled) {
    RiscVSetSupervisorTimeCompareRegister (NextValue);
  } else {
    SbiSetTimer (NextValue);
  }
}