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((volatile INT64 *)(a1 + 56));
KeAbPostRelease(v1);
}