MiSetNonResidentPteHeat

UINT64 __fastcall MiSetNonResidentPteHeat(UINT64 *a1, INT64 a2){
  UINT64 v2; 
  __int64 v3; 
  UINT64 result; 
  v2 = *a1;
  v3 = 0i64;
  if( (*a1 & 0x400) != 0 )
  {
    if( (_DWORD)a2 )
      v3 = 2048i64;
    result = v3 | v2 & 0xFFFFFFFFFFFFF7FFui64;
    *a1 = result;
  }
  else
  {
    if( (_DWORD)a2 )
      v3 = 8i64;
    result = v3 | v2 & 0xFFFFFFFFFFFFFFF7ui64;
    *a1 = result;
  }
  return result;
}

Referenced by: