VOID __fastcall CmpVolumeContextUnlockExclusive(INT64 a1){
VOID *v1;
char v2;
v1 = (VOID *)(a1 + 56);
v2 = _InterlockedExchangeAdd64((volatile signed __int64 *)(a1 + 56), 0xFFFFFFFFFFFFFFFFui64);
if( (v2 & 2) != 0 && (v2 & 4) == 0 )
ExfTryToWakePushLock((_EX_PUSH_LOCK *)(a1 + 56));
KeAbPostRelease(v1);
}