INT64 __stdcall CmSiRWLockReleaseExclusive(PVOID BugCheckParameter2){
char v2;
INT64 result;
v2 = _InterlockedExchangeAdd64((volatile signed __int64 *)BugCheckParameter2, 0xFFFFFFFFFFFFFFFFui64);
if( (v2 & 2) != 0 && (v2 & 4) == 0 )
ExfTryToWakePushLock((volatile INT64 *)BugCheckParameter2);
KeAbPostRelease(BugCheckParameter2);
return result;
}