MiUnlockVadShared

VOID __stdcall MiUnlockVadShared(_ETHREAD *Thread, _EX_PUSH_LOCK *a2){
  _EX_PUSH_LOCK *v2; 

  Thread->_bf_1 &= ~0x40u;
  v2 = a2 + 5;
  if( _InterlockedCompareExchange64(&a2[5]._bf_0, 0i64, 17i64) != 17 )
    ExfReleasePushLockShared(a2 + 5);
  KeAbPostRelease(v2);
  KiLeaveGuardedRegionUnsafe((__int64)Thread);
}

Referenced by: