void __fastcall CmSiRWLockReleaseExclusive(VOID *Lock){
char v2;
v2 = _InterlockedExchangeAdd64((volatile signed __int64 *)Lock, 0xFFFFFFFFFFFFFFFFui64);
if( (v2 & 2) != 0 && (v2 & 4) == 0 )
ExfTryToWakePushLock((_EX_PUSH_LOCK *)Lock);
KeAbPostRelease(Lock);
}