__int64 __fastcall CmpReleaseGlobalQuota(unsigned int a1){
__int64 result;
result = a1;
if( a1 > (unsigned __int64)CmpGlobalQuotaUsed )
KeBugCheckEx(0x51u, (PVOID)0xD, (PVOID)1, 0i64, 0i64);
_InterlockedExchangeAdd((volatile signed __int32 *)&CmpGlobalQuotaUsed, -a1);
return result;
}