RtlpHpVaMgrCtxFree

void __fastcall RtlpHpVaMgrCtxFree(__int64 a1, UINT64 *a2, UINT64 *r8_0){
  UINT64 v6; 
  unsigned __int8 *v7; 
  INT64 v8; 
  unsigned __int8 v9; 
  __int64 v10; 
  INT64 v11; 
  unsigned __int8 v12; 
  UINT64 v13; 
  __int64 v14; 
  UINT64 v15; 
  INT64 v16; 
  unsigned __int64 v17; 
  UINT64 v18; 
  UINT64 Capped; 
  _ETHREAD *CurrentThread; 
  unsigned int SessionId; 
  unsigned __int8 v22; 
  int v23; 
  bool v24; 
  __int64 v25; 
  _KLOCK_ENTRY *v26; 
  __int64 v27; 
  UINT64 a3; 

  v6 = *r8_0 >> 20;
  LODWORD(v7) = RtlSparseArrayElementAllocated(a1 + 16, (*a2 - *(_QWORD *)(a1 + 8)) >> 20);
  v8 = (INT64)v7;
  if( !v7 )
  {
    Capped = RtlSparseArrayElementFindCapped(
               a1 + 16,
               (__int64)(*a2 - *(_QWORD *)(a1 + 8)) / 0x100000,
               ~((__int64)(*a2 - *(_QWORD *)(a1 + 8)) / 0x100000));
    RtlpHpEnvFreeVA(a2, r8_0, 0x8000i64);
    *(_QWORD *)(Capped + 24) -= *r8_0 >> 20;
    return;
  }
  v9 = *v7;
  v10 = a1 + 48 * (v7[1] + 45i64);
  if( (*v7 & 4) != 0 )
  {
    v11 = (INT64)v7;
    *v7 = v9 & 0xFE;
LABEL_4:
    RtlpHpVaMgrRangeFree(v10, v11);
    return;
  }
  v12 = *(_BYTE *)(v10 + 46);
  if( (v12 & 6u) < 4 )
  {
    MmFreePoolMemory(a2, r8_0);
    v9 = *(_BYTE *)v8;
    v12 = *(_BYTE *)(v10 + 46);
  }
  v13 = v8;
  if( (v9 & 2) != 0 )
  {
    v16 = v8;
    do
      v8 -= 32i64;
    while( (*(_BYTE *)v8 & 2) != 0 );
    v12 = *(_BYTE *)(v10 + 46);
  }
  else
  {
    if( ((v12 >> 4) & (unsigned __int8)~(v9 >> 2) & 1) == 0 )
    {
      v14 = (v9 & 4) != 0 ? *(_QWORD *)(v8 + 24) : *(unsigned __int16 *)(v8 + 24);
      if( v6 != v14 )
        __int2c();
    }
    if( (v9 & 4) != 0 )
      v15 = *(_QWORD *)(v8 + 24);
    else
      v15 = *(unsigned __int16 *)(v8 + 24);
    if( v6 < v15 )
      v16 = v8 + 32 * v6;
    else
      v16 = 0i64;
  }
  v17 = RtlpHpAcquireLockExclusive((_EX_PUSH_LOCK *)v10, v12 & 1);
  if( v16 )
    RtlpHpVaMgrRangeSplit(v10, v8, (v16 - v8) >> 5);
  v18 = RtlpHpVaMgrFree(v10, v13);
  if( (*(_BYTE *)(v10 + 46) & 1) != 0 )
  {
    ExReleaseSpinLockExclusiveFromDpcLevel((INT64 *)v10);
    __writecr8(v17);
  }
  else
  {
    if( (_InterlockedExchangeAdd64((volatile signed __int64 *)v10, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
      ExfTryToWakePushLock((_EX_PUSH_LOCK *)v10);
    LODWORD(a3) = 0;
    CurrentThread = (_ETHREAD *)KeGetCurrentThread();
    if( MiGetSystemRegionType(v10) == 1 )
      SessionId = MmGetSessionIdEx(CurrentThread->Tcb.ApcState.Process);
    else
      SessionId = -1;
    --CurrentThread->Tcb.SpecialApcDisable;
    v22 = ++CurrentThread->Tcb.AbAllocationRegionCount;
    v23 = ((char)CurrentThread->Tcb.AbEntrySummary | (char)CurrentThread->Tcb.AbOrphanedEntrySummary) ^ 0x3F;
    while( 1 )
    {
      v24 = !_BitScanReverse((unsigned int *)&v25, v23);
      if( v24 )
        goto LABEL_38;
      v26 = &CurrentThread->Tcb.LockEntries[v25];
      v23 &= ~(1 << v25);
      if( (v26->AcquiredByte & 1) != 0
        && (v26->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 & 1) == 0
        && (v26->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 & 0x7FFFFFFFFFFFFFFCi64) == (v10 & 0x7FFFFFFFFFFFFFFCi64)
        && v26->LockState.SessionId == SessionId )
      {
        v26->AcquiredByte &= ~1u;
        if( v26->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 )
          break;
      }
    }
    if( !v26 )
    {
LABEL_38:
      if( (*(&CurrentThread->Tcb.MiscFlags + 1) & 0x10000) == 0 )
        KeBugCheckEx(0x162u, CurrentThread, (PVOID)v10, (PVOID)SessionId, 0i64);
      goto LABEL_50;
    }
    v26->CrossThreadReleasableAndBusyByte |= 2u;
    if( v26->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 < 0 )
      KiAbEntryRemoveFromTree(v26);
    LODWORD(a3) = v26->BoostBitmap.AllFields & 0x1FFFF;
    v26->BoostBitmap.AllFields &= 0xFFFE0000;
    v26->ThreadLocalFlags &= ~1u;
    v26->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 = 0i64;
    v27 = v26 - CurrentThread->Tcb.LockEntries;
    if( v22 == 1 )
      CurrentThread->Tcb.AbEntrySummary |= 1 << v27;
    else
      _InterlockedOr8((volatile signed __int8 *)&CurrentThread->Tcb.AbOrphanedEntrySummary, 1 << v27);
LABEL_50:
    --CurrentThread->Tcb.AbAllocationRegionCount;
    KiAbThreadRemoveBoosts(&CurrentThread->Tcb, (VOID *)v10, &a3);
    v24 = CurrentThread->Tcb.SpecialApcDisable++ == -1;
    if( v24
      && ($F25F8C4BA33AF922A5F1AF68CD89DDDF *)CurrentThread->Tcb.ApcState.ApcListHead[0].Flink != &CurrentThread->Tcb.152 )
    {
      KiCheckForKernelApcDelivery();
    }
    KiLeaveGuardedRegionUnsafe((__int64)KeGetCurrentThread());
  }
  if( v18 )
  {
    v11 = v18;
    goto LABEL_4;
  }
}

Referenced by: