ExReleasePushLockExclusiveEx

void __fastcall ExReleasePushLockExclusiveEx(_EX_PUSH_LOCK *PushLock, unsigned int Flags){
  char v2; 
  _ETHREAD *CurrentThread; 
  ULONG_PTR SessionId; 
  char v6; 
  int v7; 
  bool v8; 
  __int64 v9; 
  unsigned __int64 v10; 
  int v11; 
  unsigned int v12; 
  __int64 v13; 
  int v14; 
  v2 = Flags;
  if( (Flags & 0xFFFFFFFC) != 0 )
    KeBugCheckEx(0x152u, Flags, (ULONG_PTR)PushLock, 0i64, 0i64);
  if( (_InterlockedExchangeAdd64((volatile signed __int64 *)PushLock, 0xFFFFFFFFFFFFFFFFui64) & 6) == 2 )
    ExfTryToWakePushLock((volatile INT64 *)PushLock);
  if( (v2 & 2) == 0 )
  {
    CurrentThread = (_ETHREAD *)KeGetCurrentThread();
    v14 = 0;
    if( (unsigned int)MiGetSystemRegionType((UINT64)PushLock) == 1 )
      SessionId = (unsigned int)MmGetSessionIdEx(*((_QWORD *)CurrentThread + 23));
    else
      SessionId = 0xFFFFFFFFi64;
    --*((_WORD *)CurrentThread + 243);
    v6 = ++*((_BYTE *)CurrentThread + 794);
    v7 = (*((char *)CurrentThread + 792) | *((char *)CurrentThread + 870)) ^ 0x3F;
    v8 = !_BitScanReverse((unsigned int *)&v9, v7);
    if( v8 )
      goto LABEL_24;
    while( 1 )
    {
      v10 = *((_QWORD *)CurrentThread + 100) + 96 * v9;
      v7 &= ~(1 << v9);
      if( (*(_BYTE *)(v10 + 26) & 1) != 0
        && (*(_DWORD *)(v10 + 32) & 1) == 0
        && (*(_QWORD *)(v10 + 32) & 0x7FFFFFFFFFFFFFFCi64) == ((unsigned __int64)PushLock & 0x7FFFFFFFFFFFFFFCi64)
        && *(_DWORD *)(v10 + 40) == (_DWORD)SessionId )
      {
        *(_BYTE *)(v10 + 26) &= ~1u;
        if( *(_QWORD *)(v10 + 32) )
          break;
      }
      v8 = !_BitScanReverse((unsigned int *)&v9, v7);
      if( v8 )
        goto LABEL_24;
    }
    if( !v10 )
    {
LABEL_24:
      if( (*((_DWORD *)CurrentThread + 30) & 0x10000) == 0 )
        KeBugCheckEx(0x162u, (ULONG_PTR)CurrentThread, (ULONG_PTR)PushLock, SessionId, 0i64);
    }
    else
    {
      *(_BYTE *)(v10 + 32) |= 2u;
      if( *(__int64 *)(v10 + 32) < 0 )
        KiAbEntryRemoveFromTree(v10);
      v11 = *(_DWORD *)(v10 + 88) & 0x1FFFF;
      v12 = *(_DWORD *)(v10 + 88) & 0xFFFE0000;
      *(_BYTE *)(v10 + 25) &= ~1u;
      v14 = v11;
      *(_DWORD *)(v10 + 88) = v12;
      *(_QWORD *)(v10 + 32) = 0i64;
      v13 = (__int64)(v10 - *((_QWORD *)CurrentThread + 100)) / 96;
      if( v6 == 1 )
        *((_BYTE *)CurrentThread + 792) |= 1 << v13;
      else
        _InterlockedOr8((volatile signed __int8 *)CurrentThread + 870, 1 << v13);
    }
    --*((_BYTE *)CurrentThread + 794);
    KiAbThreadRemoveBoosts((ULONG_PTR)CurrentThread, (__int64)PushLock, (unsigned int *)&v14);
    v8 = (*((_WORD *)CurrentThread + 243))++ == 0xFFFF;
    if( v8 && *((_ETHREAD **)CurrentThread + 19) != (_ETHREAD *)((char *)CurrentThread + 152) )
      KiCheckForKernelApcDelivery();
  }
}

Referenced by: