KeReleaseGuardedMutex

VOID __stdcall KeReleaseGuardedMutex(PKGUARDED_MUTEX Mutex){
  unsigned __int64 OldIrql_low; 
  unsigned __int32 v3; 

  OldIrql_low = LOBYTE(Mutex->OldIrql);
  Mutex->Owner = 0i64;
  v3 = _InterlockedCompareExchange(&Mutex->Count, 1, 0);
  if( v3 )
    ExpReleaseFastMutexContended(Mutex, v3);
  __writecr8(OldIrql_low);
  KeAbPostRelease(Mutex);
}

Referenced by: