RtlpHpReleaseQueuedLockExclusive

NTSTATUS __stdcall RtlpHpReleaseQueuedLockExclusive(INT64 a1, INT64 a2){
  unsigned __int64 v2; 
  unsigned __int64 v4; 
  NTSTATUS result; 
  _ETHREAD *CurrentThread; 
  __int64 SessionId; 
  unsigned __int8 v8; 
  int v9; 
  bool v10; 
  __int64 v11; 
  _KLOCK_ENTRY *v12; 
  __int64 v13; 
  UINT64 a3; 

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

Referenced by: