HalpLeaveDmaDomain

INT64 __fastcall HalpLeaveDmaDomain(INT64 a1){
  INT64 v1; 
  INT64 v3; 
  UINT8 v4; 
  int v5; 
  _ETHREAD *v6; 
  unsigned int v7; 
  int v8; 
  bool v9; 
  __int64 v10; 
  unsigned __int64 v11; 
  int v12; 
  unsigned int v13; 
  __int64 v14; 
  _ETHREAD *CurrentThread; 
  unsigned int SessionId; 
  char v17; 
  int v18; 
  __int64 v19; 
  unsigned __int64 v20; 
  int v21; 
  unsigned int v22; 
  __int64 v23; 
  void *v24; 
  void *v25; 
  int v27; 
  __int64 v28; 
  char v29; 
  int v30; 
  int v31; 
  v1 = *(_QWORD *)(a1 + 504);
  v28 = 0i64;
  if( !*(_DWORD *)(v1 + 64) )
    goto LABEL_50;
  v3 = a1 + 312;
  ExAcquirePushLockExclusiveEx(a1 + 312, 0i64);
  if( *(_BYTE *)(a1 + 338) )
  {
    if( (_InterlockedExchangeAdd64((volatile signed __int64 *)v3, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
      ExfTryToWakePushLock((volatile INT64 *)v3);
    v27 = 0;
    CurrentThread = (_ETHREAD *)KeGetCurrentThread();
    if( (unsigned int)MiGetSystemRegionType(v3) == 1 )
      SessionId = MmGetSessionIdEx(*((_QWORD *)CurrentThread + 23));
    else
      SessionId = -1;
    --*((_WORD *)CurrentThread + 243);
    v17 = ++*((_BYTE *)CurrentThread + 794);
    v18 = (*((char *)CurrentThread + 792) | *((char *)CurrentThread + 870)) ^ 0x3F;
    while( 1 )
    {
      v9 = !_BitScanReverse((unsigned int *)&v19, v18);
      v31 = v19;
      if( v9 )
        break;
      v20 = *((_QWORD *)CurrentThread + 100) + 96 * v19;
      v18 &= ~(1 << v19);
      if( (*(_BYTE *)(v20 + 26) & 1) != 0
        && (*(_DWORD *)(v20 + 32) & 1) == 0
        && (*(_QWORD *)(v20 + 32) & 0x7FFFFFFFFFFFFFFCi64) == (v3 & 0x7FFFFFFFFFFFFFFCi64)
        && *(_DWORD *)(v20 + 40) == SessionId )
      {
        *(_BYTE *)(v20 + 26) &= ~1u;
        if( *(_QWORD *)(v20 + 32) )
        {
          if( v20 )
          {
            *(_BYTE *)(v20 + 32) |= 2u;
            if( *(__int64 *)(v20 + 32) < 0 )
              KiAbEntryRemoveFromTree(v20);
            v21 = *(_DWORD *)(v20 + 88) & 0x1FFFF;
            v22 = *(_DWORD *)(v20 + 88) & 0xFFFE0000;
            *(_BYTE *)(v20 + 25) &= ~1u;
            v27 = v21;
            *(_DWORD *)(v20 + 88) = v22;
            *(_QWORD *)(v20 + 32) = 0i64;
            v23 = (__int64)(v20 - *((_QWORD *)CurrentThread + 100)) / 96;
            if( v17 == 1 )
              *((_BYTE *)CurrentThread + 792) |= 1 << v23;
            else
              _InterlockedOr8((volatile signed __int8 *)CurrentThread + 870, 1 << v23);
            goto LABEL_45;
          }
          break;
        }
      }
    }
    if( (*((_DWORD *)CurrentThread + 30) & 0x10000) == 0 )
      KeBugCheckEx(0x162u, (ULONG_PTR)CurrentThread, v3, SessionId, 0i64);
LABEL_45:
    --*((_BYTE *)CurrentThread + 794);
    KiAbThreadRemoveBoosts((ULONG_PTR)CurrentThread, v3, (unsigned int *)&v27);
    v9 = (*((_WORD *)CurrentThread + 243))++ == 0xFFFF;
    if( v9 && *((_ETHREAD **)CurrentThread + 19) != (_ETHREAD *)((char *)CurrentThread + 152) )
      KiCheckForKernelApcDelivery();
  }
  else
  {
    v5 = (unsigned int)HalpIommuLeaveDmaDomain(*(KDEVICE_QUEUE **)(a1 + 536), *(_QWORD *)(v1 + 40), v4);
    if( (_InterlockedExchangeAdd64((volatile signed __int64 *)v3, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
      ExfTryToWakePushLock((volatile INT64 *)v3);
    v30 = 0;
    v6 = (_ETHREAD *)KeGetCurrentThread();
    if( (unsigned int)MiGetSystemRegionType(v3) == 1 )
      v7 = MmGetSessionIdEx(*((_QWORD *)v6 + 23));
    else
      v7 = -1;
    --*((_WORD *)v6 + 243);
    v29 = ++*((_BYTE *)v6 + 794);
    v8 = (*((char *)v6 + 792) | *((char *)v6 + 870)) ^ 0x3F;
    while( 1 )
    {
      v9 = !_BitScanReverse((unsigned int *)&v10, v8);
      if( v9 )
        break;
      v11 = *((_QWORD *)v6 + 100) + 96 * v10;
      v8 &= ~(1 << v10);
      if( (*(_BYTE *)(v11 + 26) & 1) != 0
        && (*(_DWORD *)(v11 + 32) & 1) == 0
        && (*(_QWORD *)(v11 + 32) & 0x7FFFFFFFFFFFFFFCi64) == (v3 & 0x7FFFFFFFFFFFFFFCi64)
        && *(_DWORD *)(v11 + 40) == v7 )
      {
        *(_BYTE *)(v11 + 26) &= ~1u;
        if( *(_QWORD *)(v11 + 32) )
        {
          if( v11 )
          {
            *(_BYTE *)(v11 + 32) |= 2u;
            if( *(__int64 *)(v11 + 32) < 0 )
              KiAbEntryRemoveFromTree(v11);
            v12 = *(_DWORD *)(v11 + 88) & 0x1FFFF;
            v13 = *(_DWORD *)(v11 + 88) & 0xFFFE0000;
            *(_BYTE *)(v11 + 25) &= ~1u;
            v30 = v12;
            *(_DWORD *)(v11 + 88) = v13;
            *(_QWORD *)(v11 + 32) = 0i64;
            v14 = (__int64)(v11 - *((_QWORD *)v6 + 100)) / 96;
            if( v29 == 1 )
              *((_BYTE *)v6 + 792) |= 1 << v14;
            else
              _InterlockedOr8((volatile signed __int8 *)v6 + 870, 1 << v14);
            goto LABEL_20;
          }
          break;
        }
      }
    }
    if( (*((_DWORD *)v6 + 30) & 0x10000) == 0 )
      KeBugCheckEx(0x162u, (ULONG_PTR)v6, v3, v7, 0i64);
LABEL_20:
    --*((_BYTE *)v6 + 794);
    KiAbThreadRemoveBoosts((ULONG_PTR)v6, v3, (unsigned int *)&v30);
    v9 = (*((_WORD *)v6 + 243))++ == 0xFFFF;
    if( v9 && *((_ETHREAD **)v6 + 19) != (_ETHREAD *)((char *)v6 + 152) )
      KiCheckForKernelApcDelivery();
    if( v5 < 0 )
      return(unsigned int)v5;
  }
  v24 = *(void **)(a1 + 552);
  v25 = *(void **)(v1 + 40);
  v28 = *(unsigned int *)(a1 + 244);
  v5 = HalpIommuDomainUnmapLogicalRange(v25, v24);
  if( v5 >= 0 )
  {
    v5 = HalpDomainLaDelete(v1, *(_QWORD *)(a1 + 552));
    if( v5 >= 0 )
    {
LABEL_50:
      HalpDmaDereferenceDomainObject((PVOID)v1);
      *(_QWORD *)(a1 + 504) = 0i64;
      return 0;
    }
  }
  return(unsigned int)v5;
}

Referenced by: