VslFastFlushSecureRangeList

INT64 __fastcall VslFastFlushSecureRangeList(INT64 *a1, UINT64 a2){
  unsigned int v2; 
  char v4; 
  __int64 v5; 
  char *v6; 
  __int64 v7; 
  bool v8; 
  INT64 v9; 
  INT64 result[2]; 
  char v11; 
  v2 = a2;
  if( KeGetCurrentIrql() > 2u )
    return 255i64;
  v4 = 0;
  v5 = *((_QWORD *)KeGetCurrentThread() + 23);
  memset((INT64)result, 0i64);
  if( !v2 )
    return 0i64;
  v6 = &v11;
  v7 = v2;
  do
  {
    v8 = (unsigned __int64)*a1 <= 0x7FFFFFFEFFFFi64;
    *(_QWORD *)v6 = *a1++;
    if( v8 )
      v4 = 1;
    v6 += 8;
    --v7;
  }
  while( v7 );
  if( !v4 )
    return 0i64;
  result[1] = *(_QWORD *)(v5 + 992);
  LODWORD(v9) = VslpEnterIumSecureMode(2u, 241, 0i64, (INT64)result);
  return v9;
}

Referenced by:

HvlpFastFlushListTb
HvlpFastFlushListTbEx