MiReleaseSessionVa

VOID __stdcall MiReleaseSessionVa(VOID *BaseVa, UINT64 NumberOfRegions){
  _ETHREAD *CurrentThread; 
  unsigned __int64 v3; 
  unsigned int v4; 
  _MM_SESSION_SPACE *Session; 
  UINT64 v6; 
  _ETHREAD *v7; 
  unsigned int SessionId; 
  unsigned __int8 v9; 
  int v10; 
  bool v11; 
  __int64 v12; 
  _KLOCK_ENTRY *v13; 
  __int64 v14; 
  UINT64 a3; 
  int v16; 

  CurrentThread = (_ETHREAD *)KeGetCurrentThread();
  v3 = ((unsigned __int64)BaseVa - qword_140C4CAE0) >> 21;
  v4 = NumberOfRegions;
  Session = CurrentThread->Tcb.ApcState.Process->Session;
  --CurrentThread->Tcb.SpecialApcDisable;
  ExAcquirePushLockExclusiveEx((_EX_PUSH_LOCK *)KeGetCurrentThread()->ApcState.Process->Session + 103, 0i64);
  RtlClearBitsEx((_RTL_BITMAP_EX *)Session + 52, v3, v4);
  if( v3 < *((_QWORD *)Session + 106) )
    *((_QWORD *)Session + 106) = v3;
  *((_DWORD *)Session + 218) -= v4;
  v6 = (UINT64)KeGetCurrentThread()->ApcState.Process->Session + 824;
  if( (_InterlockedExchangeAdd64((volatile signed __int64 *)v6, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
    ExfTryToWakePushLock((_EX_PUSH_LOCK *)v6);
  LODWORD(a3) = 0;
  v7 = (_ETHREAD *)KeGetCurrentThread();
  if( MiGetSystemRegionType(v6) == 1 )
    SessionId = MmGetSessionIdEx(v7->Tcb.ApcState.Process);
  else
    SessionId = -1;
  --v7->Tcb.SpecialApcDisable;
  v9 = ++v7->Tcb.AbAllocationRegionCount;
  v10 = ((char)v7->Tcb.AbEntrySummary | (char)v7->Tcb.AbOrphanedEntrySummary) ^ 0x3F;
  while( 1 )
  {
    v11 = !_BitScanReverse((unsigned int *)&v12, v10);
    v16 = v12;
    if( v11 )
      break;
    v13 = &v7->Tcb.LockEntries[v12];
    v10 &= ~(1 << v12);
    if( (v13->AcquiredByte & 1) != 0
      && (v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 & 1) == 0
      && (v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 & 0x7FFFFFFFFFFFFFFCi64) == (v6 & 0x7FFFFFFFFFFFFFFCi64)
      && v13->LockState.SessionId == SessionId )
    {
      v13->AcquiredByte &= ~1u;
      if( v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 )
      {
        if( v13 )
        {
          v13->CrossThreadReleasableAndBusyByte |= 2u;
          if( v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 < 0 )
            KiAbEntryRemoveFromTree(v13);
          LODWORD(a3) = v13->BoostBitmap.AllFields & 0x1FFFF;
          v13->BoostBitmap.AllFields &= 0xFFFE0000;
          v13->ThreadLocalFlags &= ~1u;
          v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 = 0i64;
          v14 = v13 - v7->Tcb.LockEntries;
          if( v9 == 1 )
            v7->Tcb.AbEntrySummary |= 1 << v14;
          else
            _InterlockedOr8((volatile signed __int8 *)&v7->Tcb.AbOrphanedEntrySummary, 1 << v14);
          goto LABEL_19;
        }
        break;
      }
    }
  }
  if( (*(&v7->Tcb.MiscFlags + 1) & 0x10000) == 0 )
    KeBugCheckEx(0x162u, v7, (PVOID)v6, (PVOID)SessionId, 0i64);
LABEL_19:
  --v7->Tcb.AbAllocationRegionCount;
  KiAbThreadRemoveBoosts(&v7->Tcb, (VOID *)v6, &a3);
  v11 = v7->Tcb.SpecialApcDisable++ == -1;
  if( v11 && ($F25F8C4BA33AF922A5F1AF68CD89DDDF *)v7->Tcb.ApcState.ApcListHead[0].Flink != &v7->Tcb.152 )
    KiCheckForKernelApcDelivery();
  KiLeaveGuardedRegionUnsafe((__int64)CurrentThread);
}

Referenced by:

MiMakeSystemRangeAvailable