VfRandomGetNumber

UINT64 __stdcall VfRandomGetNumber(UINT64 Minimum, UINT64 Maximum){
  unsigned int v2; 
  unsigned int v3; 
  UINT64 result; 
  v2 = Minimum;
  v3 = Maximum;
  result = RtlRandomEx((UINT64 *)&ViRandomSeed);
  if( v3 >= v2 )
    return v2 + (unsigned int)result % (v3 - v2 + 1);
  return result;
}

Referenced by:

VfFaultsInjectResourceFailure
VfPendingShouldForce
ViInitPickRandomTargets