ExReleasePushLockExclusiveEx

VOID __stdcall ExReleasePushLockExclusiveEx(_EX_PUSH_LOCK *PushLock, UINT64 Flags){
  char v2; 
  _ETHREAD *CurrentThread; 
  __int64 SessionId; 
  unsigned __int8 v6; 
  int v7; 
  bool v8; 
  __int64 v9; 
  _KLOCK_ENTRY *v10; 
  int v11; 
  unsigned int v12; 
  __int64 v13; 
  UINT64 a3; 

  v2 = Flags;
  if( (Flags & 0xFFFFFFFC) != 0 )
    KeBugCheckEx(0x152u, (PVOID)(unsigned int)Flags, PushLock, 0i64, 0i64);
  if( (_InterlockedExchangeAdd64(&PushLock->_bf_0, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
    ExfTryToWakePushLock(PushLock);
  if( (v2 & 2) == 0 )
  {
    CurrentThread = (_ETHREAD *)KeGetCurrentThread();
    LODWORD(a3) = 0;
    if( MiGetSystemRegionType((UINT64)PushLock) == 1 )
      SessionId = (unsigned int)MmGetSessionIdEx(CurrentThread->Tcb.ApcState.Process);
    else
      SessionId = 0xFFFFFFFFi64;
    --CurrentThread->Tcb.SpecialApcDisable;
    v6 = ++CurrentThread->Tcb.AbAllocationRegionCount;
    v7 = ((char)CurrentThread->Tcb.AbEntrySummary | (char)CurrentThread->Tcb.AbOrphanedEntrySummary) ^ 0x3F;
    v8 = !_BitScanReverse((unsigned int *)&v9, v7);
    if( v8 )
      goto LABEL_24;
    while( 1 )
    {
      v10 = &CurrentThread->Tcb.LockEntries[v9];
      v7 &= ~(1 << v9);
      if( (v10->AcquiredByte & 1) != 0
        && (v10->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 & 1) == 0
        && (v10->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 & 0x7FFFFFFFFFFFFFFCi64) == ((unsigned __int64)PushLock & 0x7FFFFFFFFFFFFFFCi64)
        && v10->LockState.SessionId == (_DWORD)SessionId )
      {
        v10->AcquiredByte &= ~1u;
        if( v10->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 )
          break;
      }
      v8 = !_BitScanReverse((unsigned int *)&v9, v7);
      if( v8 )
        goto LABEL_24;
    }
    if( !v10 )
    {
LABEL_24:
      if( (*(&CurrentThread->Tcb.MiscFlags + 1) & 0x10000) == 0 )
        KeBugCheckEx(0x162u, CurrentThread, PushLock, (PVOID)SessionId, 0i64);
    }
    else
    {
      v10->CrossThreadReleasableAndBusyByte |= 2u;
      if( v10->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 < 0 )
        KiAbEntryRemoveFromTree(v10);
      v11 = v10->BoostBitmap.AllFields & 0x1FFFF;
      v12 = v10->BoostBitmap.AllFields & 0xFFFE0000;
      v10->ThreadLocalFlags &= ~1u;
      LODWORD(a3) = v11;
      v10->BoostBitmap.AllFields = v12;
      v10->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 = 0i64;
      v13 = v10 - CurrentThread->Tcb.LockEntries;
      if( v6 == 1 )
        CurrentThread->Tcb.AbEntrySummary |= 1 << v13;
      else
        _InterlockedOr8((volatile signed __int8 *)&CurrentThread->Tcb.AbOrphanedEntrySummary, 1 << v13);
    }
    --CurrentThread->Tcb.AbAllocationRegionCount;
    KiAbThreadRemoveBoosts(&CurrentThread->Tcb, PushLock, &a3);
    v8 = CurrentThread->Tcb.SpecialApcDisable++ == -1;
    if( v8
      && ($F25F8C4BA33AF922A5F1AF68CD89DDDF *)CurrentThread->Tcb.ApcState.ApcListHead[0].Flink != &CurrentThread->Tcb.152 )
    {
      KiCheckForKernelApcDelivery();
    }
  }
}

Referenced by: