RtlpHpSegMgrVaCtxFree

UINT64 __fastcall RtlpHpSegMgrVaCtxFree(INT64 a1, INT64 a2, _QWORD *a3){
  __int128 v3; 
  unsigned __int64 v7; 
  unsigned __int16 *v8; 
  INT64 v9; 
  unsigned __int64 v10; 
  UINT8 v11; 
  unsigned __int16 *v12; 
  unsigned __int64 v13; 
  int v14; 
  int v15; 
  unsigned __int64 v16; 
  unsigned __int16 *v17; 
  unsigned __int16 *v18; 
  _ETHREAD *CurrentThread; 
  unsigned int SessionId; 
  char v21; 
  int v22; 
  unsigned __int64 v23; 
  bool v24; 
  __int64 v25; 
  __int64 v26; 
  __int128 v28[4]; 
  int v29; 
  unsigned __int16 *v30; 
  v3 = *(_OWORD *)(a1 + 40);
  v30 = 0i64;
  v7 = a2 & 0xFFFFFFFFFFE00000ui64;
  v8 = 0i64;
  v28[0] = v3;
  RtlpHpQueryVA(a2 & 0xFFFFFFFFFFE00000ui64, v28, &v30, 0i64);
  v9 = a1 + 112;
  v10 = (a2 - v7) / *a3;
  v11 = RtlpHpAcquireLockExclusive((INT64 *)(a1 + 112), *(_DWORD *)(a1 + 40) & 1);
  v12 = v30;
  v13 = v11;
  v14 = (unsigned __int16)(v30[1] ^ (1 << v10));
  v15 = 0x200000ui64 / *a3;
  v30[1] = v14;
  v16 = (unsigned __int64)*v12 >> 15;
  if( v14 == (1 << v15) - 1 )
  {
    if( *((_QWORD *)v12 + 1) != -1i64 )
    {
      while( 1 )
      {
        v17 = *(unsigned __int16 **)(a1 + 8 * v16 + 120);
        if( !v17 )
          NT_ASSERT("Link != ((void *)0)");
        *(_QWORD *)(a1 + 8 * v16 + 120) = *(_QWORD *)v17;
        if( v17 == v12 + 4 )
          break;
        *(_QWORD *)v17 = v8;
        v8 = v17;
      }
      while( 1 )
      {
        v18 = v8;
        if( !v8 )
          break;
        v8 = *(unsigned __int16 **)v8;
        *(_QWORD *)v18 = *(_QWORD *)(a1 + 8 * v16 + 120);
        *(_QWORD *)(a1 + 8 * v16 + 120) = v18;
      }
    }
  }
  else
  {
    if( ((v14 - 1) & v14) == 0 )
    {
      *((_QWORD *)v12 + 1) = *(_QWORD *)(a1 + 8 * v16 + 120);
      *(_QWORD *)(a1 + 8 * v16 + 120) = v12 + 4;
    }
    v7 = 0i64;
  }
  if( (*(_DWORD *)(a1 + 40) & 1) != 0 )
  {
    ExReleaseSpinLockExclusiveFromDpcLevel((INT64 *)(a1 + 112));
    __writecr8(v13);
  }
  else
  {
    if( (_InterlockedExchangeAdd64((volatile signed __int64 *)v9, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
      ExfTryToWakePushLock((volatile INT64 *)(a1 + 112));
    v29 = 0;
    CurrentThread = (_ETHREAD *)KeGetCurrentThread();
    if( (unsigned int)MiGetSystemRegionType(a1 + 112) == 1 )
      SessionId = MmGetSessionIdEx(*((_QWORD *)CurrentThread + 23));
    else
      SessionId = -1;
    --*((_WORD *)CurrentThread + 243);
    v21 = ++*((_BYTE *)CurrentThread + 794);
    v22 = (*((char *)CurrentThread + 792) | *((char *)CurrentThread + 870)) ^ 0x3F;
    while( 1 )
    {
      v24 = !_BitScanReverse((unsigned int *)&v25, v22);
      if( v24 )
        goto LABEL_25;
      v23 = *((_QWORD *)CurrentThread + 100) + 96 * v25;
      v22 &= ~(1 << v25);
      if( (*(_BYTE *)(v23 + 26) & 1) != 0
        && (*(_DWORD *)(v23 + 32) & 1) == 0
        && (*(_QWORD *)(v23 + 32) & 0x7FFFFFFFFFFFFFFCi64) == (v9 & 0x7FFFFFFFFFFFFFFCi64)
        && *(_DWORD *)(v23 + 40) == SessionId )
      {
        *(_BYTE *)(v23 + 26) &= ~1u;
        if( *(_QWORD *)(v23 + 32) )
          break;
      }
    }
    if( !v23 )
    {
LABEL_25:
      if( (*((_DWORD *)CurrentThread + 30) & 0x10000) == 0 )
        KeBugCheckEx(0x162u, (ULONG_PTR)CurrentThread, v9, SessionId, 0i64);
      goto LABEL_32;
    }
    *(_BYTE *)(v23 + 32) |= 2u;
    if( *(__int64 *)(v23 + 32) < 0 )
      KiAbEntryRemoveFromTree(v23);
    v29 = *(_DWORD *)(v23 + 88) & 0x1FFFF;
    *(_DWORD *)(v23 + 88) &= 0xFFFE0000;
    *(_BYTE *)(v23 + 25) &= ~1u;
    *(_QWORD *)(v23 + 32) = 0i64;
    v26 = (__int64)(v23 - *((_QWORD *)CurrentThread + 100)) / 96;
    if( v21 == 1 )
      *((_BYTE *)CurrentThread + 792) |= 1 << v26;
    else
      _InterlockedOr8((volatile signed __int8 *)CurrentThread + 870, 1 << v26);
LABEL_32:
    --*((_BYTE *)CurrentThread + 794);
    KiAbThreadRemoveBoosts((ULONG_PTR)CurrentThread, v9, (unsigned int *)&v29);
    v24 = (*((_WORD *)CurrentThread + 243))++ == 0xFFFF;
    if( v24 && *((_ETHREAD **)CurrentThread + 19) != (_ETHREAD *)((char *)CurrentThread + 152) )
      KiCheckForKernelApcDelivery();
    KiLeaveGuardedRegionUnsafe((__int64)KeGetCurrentThread());
  }
  if( v7 )
    *a3 = 0x200000i64;
  return v7;
}

Referenced by: