ExReleaseCacheAwarePushLockSharedEx

VOID __stdcall ExReleaseCacheAwarePushLockSharedEx(_EX_PUSH_LOCK *PushLock, UINT64 Flags){
  char v2; 
  VOID *Ptr; 
  _ETHREAD *CurrentThread; 
  UINT64 SessionId; 
  unsigned __int8 v7; 
  _KLOCK_ENTRY *v8; 
  unsigned int 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( _InterlockedCompareExchange64(&PushLock->_bf_0, 0i64, 17i64) != 17 )
    ExfReleasePushLockShared(PushLock);
  if( (v2 & 2) == 0 )
  {
    Ptr = PushLock[2].Ptr;
    CurrentThread = (_ETHREAD *)KeGetCurrentThread();
    LODWORD(a3) = 0;
    if( MiGetSystemRegionType((UINT64)Ptr) == 1 )
      SessionId = (unsigned int)MmGetSessionIdEx(CurrentThread->Tcb.ApcState.Process);
    else
      SessionId = 0xFFFFFFFFi64;
    --CurrentThread->Tcb.SpecialApcDisable;
    v7 = ++CurrentThread->Tcb.AbAllocationRegionCount;
    v8 = KiAbThreadClearAcquiredLockEntry(&CurrentThread->Tcb, Ptr, SessionId);
    v10 = v8;
    if( v8 )
    {
      v8->CrossThreadReleasableAndBusyByte |= 2u;
      if( v8->LockState.$E8276A2CF8B819ED32D1B6FEB35D730A::_bf_0 < 0 )
        KiAbEntryRemoveFromTree(v8);
      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( v7 == 1 )
        CurrentThread->Tcb.AbEntrySummary |= 1 << v13;
      else
        _InterlockedOr8((volatile signed __int8 *)&CurrentThread->Tcb.AbOrphanedEntrySummary, 1 << v13);
    }
    else if( (*(&CurrentThread->Tcb.MiscFlags + 1) & 0x10000) == 0 )
    {
      KeBugCheckEx(0x162u, CurrentThread, Ptr, (PVOID)v9, 0i64);
    }
    --CurrentThread->Tcb.AbAllocationRegionCount;
    KiAbThreadRemoveBoosts(&CurrentThread->Tcb, Ptr, &a3);
    KiLeaveGuardedRegionUnsafe((__int64)CurrentThread);
  }
}

Referenced by: