RtlpHpVaMgrCtxFree

VOID __fastcall RtlpHpVaMgrCtxFree(INT64 a1, UINT64 *a2, UINT64 *a3){
  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; 
  char v22; 
  int v23; 
  bool v24; 
  __int64 v25; 
  unsigned __int64 v26; 
  __int64 v27; 
  int v28; 
  v6 = *a3 >> 20;
  v7 = (unsigned __int8 *)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, a3, 0x8000i64);
    *(_QWORD *)(Capped + 24) -= *a3 >> 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, a3);
    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((INT64 *)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((volatile INT64 *)v10);
    v28 = 0;
    CurrentThread = (_ETHREAD *)KeGetCurrentThread();
    if( (unsigned int)MiGetSystemRegionType(v10) == 1 )
      SessionId = MmGetSessionIdEx(*((_QWORD *)CurrentThread + 23));
    else
      SessionId = -1;
    --*((_WORD *)CurrentThread + 243);
    v22 = ++*((_BYTE *)CurrentThread + 794);
    v23 = (*((char *)CurrentThread + 792) | *((char *)CurrentThread + 870)) ^ 0x3F;
    while( 1 )
    {
      v24 = !_BitScanReverse((unsigned int *)&v25, v23);
      if( v24 )
        goto LABEL_38;
      v26 = *((_QWORD *)CurrentThread + 100) + 96 * v25;
      v23 &= ~(1 << v25);
      if( (*(_BYTE *)(v26 + 26) & 1) != 0
        && (*(_DWORD *)(v26 + 32) & 1) == 0
        && (*(_QWORD *)(v26 + 32) & 0x7FFFFFFFFFFFFFFCi64) == (v10 & 0x7FFFFFFFFFFFFFFCi64)
        && *(_DWORD *)(v26 + 40) == SessionId )
      {
        *(_BYTE *)(v26 + 26) &= ~1u;
        if( *(_QWORD *)(v26 + 32) )
          break;
      }
    }
    if( !v26 )
    {
LABEL_38:
      if( (*((_DWORD *)CurrentThread + 30) & 0x10000) == 0 )
        KeBugCheckEx(0x162u, (ULONG_PTR)CurrentThread, v10, SessionId, 0i64);
      goto LABEL_50;
    }
    *(_BYTE *)(v26 + 32) |= 2u;
    if( *(__int64 *)(v26 + 32) < 0 )
      KiAbEntryRemoveFromTree(v26);
    v28 = *(_DWORD *)(v26 + 88) & 0x1FFFF;
    *(_DWORD *)(v26 + 88) &= 0xFFFE0000;
    *(_BYTE *)(v26 + 25) &= ~1u;
    *(_QWORD *)(v26 + 32) = 0i64;
    v27 = (__int64)(v26 - *((_QWORD *)CurrentThread + 100)) / 96;
    if( v22 == 1 )
      *((_BYTE *)CurrentThread + 792) |= 1 << v27;
    else
      _InterlockedOr8((volatile signed __int8 *)CurrentThread + 870, 1 << v27);
LABEL_50:
    --*((_BYTE *)CurrentThread + 794);
    KiAbThreadRemoveBoosts((ULONG_PTR)CurrentThread, v10, (unsigned int *)&v28);
    v24 = (*((_WORD *)CurrentThread + 243))++ == 0xFFFF;
    if( v24 && *((_ETHREAD **)CurrentThread + 19) != (_ETHREAD *)((char *)CurrentThread + 152) )
      KiCheckForKernelApcDelivery();
    KiLeaveGuardedRegionUnsafe((__int64)KeGetCurrentThread());
  }
  if( v18 )
  {
    v11 = v18;
    goto LABEL_4;
  }
}

Referenced by: