RtlRandom

UINT64 __stdcall RtlRandom(UINT64 *Seed){
  UINT64 result; 

  result = ExGenRandom(ExGenRandomDomainUserVisible);
  LODWORD(result) = result & 0x7FFFFFFF;
  *(_DWORD *)Seed = result;
  return result;
}

Referenced by:

CcGetRandomVacbArrayWithReference
CcUnmapInactiveViewsInternal
PspInitPhase2