INT64 __fastcall UNLOCK_ADDRESS_SPACE_SHARED_UNORDERED(__int64 a1, __int64 a2){
void *v3;
v3 = (void *)(a2 + 1224);
if( _InterlockedCompareExchange64((volatile signed __int64 *)(a2 + 1224), 0i64, 17i64) != 17 )
ExfReleasePushLockShared((INT64 *)(a2 + 1224));
KeAbPostRelease(v3);
*(_BYTE *)(a1 + 1304) &= ~2u;
return KiLeaveGuardedRegionUnsafe(a1);
}