ExfReleasePushLockShared

VOID __stdcall ExfReleasePushLockShared(_EX_PUSH_LOCK *PushLock){
  __int64 bf_0; 
  signed __int64 v3; 
  __int64 v4; 
  __int64 v5; 
  __int64 v6; 
  __int64 v7; 
  signed __int64 v8; 
  __int64 v9; 
  unsigned __int64 i; 
  __int64 v11; 

  _m_prefetchw(PushLock);
  bf_0 = PushLock->_bf_0;
  while( (bf_0 & 2) == 0 )
  {
    v3 = 0i64;
    if( (bf_0 & 0xFFFFFFFFFFFFFFF0ui64) != 16 )
      v3 = bf_0 - 16;
    v4 = bf_0;
    bf_0 = _InterlockedCompareExchange64(&PushLock->_bf_0, v3, bf_0);
    if( v4 == bf_0 )
      return;
  }
  if( (bf_0 & 8) != 0 )
  {
    for( i = bf_0 & 0xFFFFFFFFFFFFFFF0ui64; ; i = *(_QWORD *)(i + 24) )
    {
      v11 = *(_QWORD *)(i + 32);
      if( v11 )
        break;
    }
    if( _InterlockedDecrement((volatile signed __int32 *)(v11 + 48)) > 0 )
      return;
    v5 = -9i64;
  }
  else
  {
    v5 = -1i64;
  }
  do
  {
    v6 = v5 + 4;
    v7 = bf_0 & 6;
    if( v7 != 2 )
      v6 = v5;
    v8 = bf_0 + v6;
    v9 = bf_0;
    bf_0 = _InterlockedCompareExchange64(&PushLock->_bf_0, v8, bf_0);
  }
  while( v9 != bf_0 );
  if( v7 == 2 )
    ExpWakePushLock(PushLock, (_EX_PUSH_LOCK)v8);
}

Referenced by: