VOID __fastcall CmpVolumeContextUnlockShared(INT64 a1){
_EX_PUSH_LOCK *v1;
v1 = (_EX_PUSH_LOCK *)(a1 + 56);
if( _InterlockedCompareExchange64((volatile signed __int64 *)(a1 + 56), 0i64, 17i64) != 17 )
ExfReleasePushLockShared(v1);
KeAbPostRelease(v1);
}