VOID __stdcall MiReleasePushLockUnordered(VOID *PushLock){ if( _InterlockedCompareExchange64((volatile signed __int64 *)PushLock, 0i64, 17i64) != 17 ) ExfReleasePushLockShared((_EX_PUSH_LOCK *)PushLock); KeAbPostRelease(PushLock); }