MiReleaseSessionVa

VOID __stdcall MiReleaseSessionVa(PVOID BaseVa, UINT64 NumberOfRegions){
  _ETHREAD *CurrentThread; 
  unsigned __int64 v3; 
  unsigned int v4; 
  __int64 v5; 
  __int64 v6; 
  _ETHREAD *v7; 
  unsigned int SessionId; 
  char v9; 
  int v10; 
  bool v11; 
  __int64 v12; 
  unsigned __int64 v13; 
  __int64 v14; 
  int v15; 
  int v16; 
  CurrentThread = (_ETHREAD *)KeGetCurrentThread();
  v3 = ((unsigned __int64)BaseVa - qword_140C4CAE0) >> 21;
  v4 = NumberOfRegions;
  v5 = *(_QWORD *)(*((_QWORD *)CurrentThread + 23) + 1368i64);
  --*((_WORD *)CurrentThread + 243);
  ExAcquirePushLockExclusiveEx(*(_QWORD *)(*((_QWORD *)KeGetCurrentThread() + 23) + 1368i64) + 824i64, 0i64);
  RtlClearBitsEx(v5 + 832, v3, v4);
  if( v3 < *(_QWORD *)(v5 + 848) )
    *(_QWORD *)(v5 + 848) = v3;
  *(_DWORD *)(v5 + 872) -= v4;
  v6 = *(_QWORD *)(*((_QWORD *)KeGetCurrentThread() + 23) + 1368i64) + 824i64;
  if( (_InterlockedExchangeAdd64((volatile signed __int64 *)v6, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
    ExfTryToWakePushLock((volatile INT64 *)v6);
  v15 = 0;
  v7 = (_ETHREAD *)KeGetCurrentThread();
  if( (unsigned int)MiGetSystemRegionType(v6) == 1 )
    SessionId = MmGetSessionIdEx(*((_QWORD *)v7 + 23));
  else
    SessionId = -1;
  --*((_WORD *)v7 + 243);
  v9 = ++*((_BYTE *)v7 + 794);
  v10 = (*((char *)v7 + 792) | *((char *)v7 + 870)) ^ 0x3F;
  while( 1 )
  {
    v11 = !_BitScanReverse((unsigned int *)&v12, v10);
    v16 = v12;
    if( v11 )
      break;
    v13 = *((_QWORD *)v7 + 100) + 96 * v12;
    v10 &= ~(1 << v12);
    if( (*(_BYTE *)(v13 + 26) & 1) != 0
      && (*(_DWORD *)(v13 + 32) & 1) == 0
      && (*(_QWORD *)(v13 + 32) & 0x7FFFFFFFFFFFFFFCi64) == (v6 & 0x7FFFFFFFFFFFFFFCi64)
      && *(_DWORD *)(v13 + 40) == SessionId )
    {
      *(_BYTE *)(v13 + 26) &= ~1u;
      if( *(_QWORD *)(v13 + 32) )
      {
        if( v13 )
        {
          *(_BYTE *)(v13 + 32) |= 2u;
          if( *(__int64 *)(v13 + 32) < 0 )
            KiAbEntryRemoveFromTree(v13);
          v15 = *(_DWORD *)(v13 + 88) & 0x1FFFF;
          *(_DWORD *)(v13 + 88) &= 0xFFFE0000;
          *(_BYTE *)(v13 + 25) &= ~1u;
          *(_QWORD *)(v13 + 32) = 0i64;
          v14 = (__int64)(v13 - *((_QWORD *)v7 + 100)) / 96;
          if( v9 == 1 )
            *((_BYTE *)v7 + 792) |= 1 << v14;
          else
            _InterlockedOr8((volatile signed __int8 *)v7 + 870, 1 << v14);
          goto LABEL_19;
        }
        break;
      }
    }
  }
  if( (*((_DWORD *)v7 + 30) & 0x10000) == 0 )
    KeBugCheckEx(0x162u, (ULONG_PTR)v7, v6, SessionId, 0i64);
LABEL_19:
  --*((_BYTE *)v7 + 794);
  KiAbThreadRemoveBoosts((ULONG_PTR)v7, v6, (unsigned int *)&v15);
  v11 = (*((_WORD *)v7 + 243))++ == 0xFFFF;
  if( v11 && *((_ETHREAD **)v7 + 19) != (_ETHREAD *)((char *)v7 + 152) )
    KiCheckForKernelApcDelivery();
  KiLeaveGuardedRegionUnsafe((__int64)CurrentThread);
}

Referenced by: