IommuFinalizeDeviceReset

NTSTATUS __stdcall IommuFinalizeDeviceReset(INT64 a1){
  _EX_PUSH_LOCK *v1; 
  char v3; 
  UINT64 v4; 
  unsigned __int8 CurrentIrql; 
  __int64 *i; 
  __int64 v7; 
  _DWORD *v8; 
  _ETHREAD *CurrentThread; 
  unsigned int SessionId; 
  unsigned __int8 v11; 
  int v12; 
  _KLOCK_ENTRY *v13; 
  bool v14; 
  __int64 v15; 
  int v16; 
  unsigned int v17; 
  __int64 v18; 
  UINT64 a3; 

  v1 = *(_EX_PUSH_LOCK **)(a1 + 24);
  v3 = 0;
  if( byte_140C49B2C )
    return -1073741637;
  v4 = (UINT64)&v1[48];
  if( !v1[39]._bf_0 || !v1[40]._bf_0 )
    return -1073741637;
  ExAcquirePushLockExclusiveEx(v1 + 48, 0i64);
  ((void(__fastcall *)(__int64, _QWORD, _QWORD))v1[39]._bf_0)(
    v1[2]._bf_0,
    *(_QWORD *)(a1 + 40),
    *(unsigned int *)(a1 + 56));
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xFui64);
  KxAcquireSpinLock((UINT64 *)(a1 + 16));
  for( i = *(__int64 **)(a1 + 88); i != (__int64 *)(a1 + 88); i = (__int64 *)*i )
  {
    if( *((_BYTE *)i + 40) )
    {
      v3 = 1;
      *((_BYTE *)i + 40) = 0;
      v7 = 512i64;
      v8 = i + 8;
      do
      {
        *(v8 - 4) = 0;
        *v8 &= ~2u;
        v8 += 6;
        --v7;
      }
      while( v7 );
      ((void(__fastcall *)(__int64, _QWORD, _QWORD))v1[40]._bf_0)(
        v1[2]._bf_0,
        *(_QWORD *)(a1 + 40),
        *(unsigned int *)(i[4] + 16));
    }
  }
  KxReleaseSpinLock((UINT64 *)(a1 + 16));
  __writecr8(CurrentIrql);
  if( (_InterlockedExchangeAdd64((volatile signed __int64 *)v4, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
    ExfTryToWakePushLock((_EX_PUSH_LOCK *)v4);
  CurrentThread = (_ETHREAD *)KeGetCurrentThread();
  LODWORD(a3) = 0;
  if( MiGetSystemRegionType(v4) == 1 )
    SessionId = MmGetSessionIdEx(CurrentThread->Tcb.ApcState.Process);
  else
    SessionId = -1;
  --CurrentThread->Tcb.SpecialApcDisable;
  v11 = ++CurrentThread->Tcb.AbAllocationRegionCount;
  v12 = ((char)CurrentThread->Tcb.AbEntrySummary | (char)CurrentThread->Tcb.AbOrphanedEntrySummary) ^ 0x3F;
  while( 1 )
  {
    v14 = !_BitScanReverse((unsigned int *)&v15, v12);
    if( v14 )
      goto LABEL_23;
    v13 = &CurrentThread->Tcb.LockEntries[v15];
    v12 &= ~(1 << v15);
    if( (v13->AcquiredByte & 1) != 0
      && (v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 & 1) == 0
      && (v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 & 0x7FFFFFFFFFFFFFFCi64) == (v4 & 0x7FFFFFFFFFFFFFFCi64)
      && v13->LockState.SessionId == SessionId )
    {
      v13->AcquiredByte &= ~1u;
      if( v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 )
        break;
    }
  }
  if( !v13 )
  {
LABEL_23:
    if( (*(&CurrentThread->Tcb.MiscFlags + 1) & 0x10000) == 0 )
      KeBugCheckEx(0x162u, CurrentThread, (PVOID)v4, (PVOID)SessionId, 0i64);
    goto LABEL_30;
  }
  v13->CrossThreadReleasableAndBusyByte |= 2u;
  if( v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 < 0 )
    KiAbEntryRemoveFromTree(v13);
  v16 = v13->BoostBitmap.AllFields & 0x1FFFF;
  v17 = v13->BoostBitmap.AllFields & 0xFFFE0000;
  v13->ThreadLocalFlags &= ~1u;
  LODWORD(a3) = v16;
  v13->BoostBitmap.AllFields = v17;
  v13->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 = 0i64;
  v18 = v13 - CurrentThread->Tcb.LockEntries;
  if( v11 == 1 )
    CurrentThread->Tcb.AbEntrySummary |= 1 << v18;
  else
    _InterlockedOr8((volatile signed __int8 *)&CurrentThread->Tcb.AbOrphanedEntrySummary, 1 << v18);
LABEL_30:
  --CurrentThread->Tcb.AbAllocationRegionCount;
  KiAbThreadRemoveBoosts(&CurrentThread->Tcb, (VOID *)v4, &a3);
  v14 = CurrentThread->Tcb.SpecialApcDisable++ == -1;
  if( v14
    && ($F25F8C4BA33AF922A5F1AF68CD89DDDF *)CurrentThread->Tcb.ApcState.ApcListHead[0].Flink != &CurrentThread->Tcb.152 )
  {
    KiCheckForKernelApcDelivery();
  }
  return v3 == 0 ? 0xC0000225 : 0;
}

Referenced by: