HvUnlockHiveFlusherShared

VOID __stdcall HvUnlockHiveFlusherShared(INT64 a1){
  _EX_PUSH_LOCK *v1; 

  v1 = (_EX_PUSH_LOCK *)(a1 + 72);
  if( _InterlockedCompareExchange64((volatile signed __int64 *)(a1 + 72), 0i64, 17i64) != 17 )
    ExfReleasePushLockShared(v1);
  KeAbPostRelease(v1);
}

Referenced by: