INT64 __fastcall CcIncrementVacbActiveCount(INT64 a1){
__int64 v1;
INT64 result;
v1 = *(_QWORD *)(a1 + 8);
result = (unsigned int)_InterlockedIncrement((volatile signed __int32 *)(a1 + 16));
if( !(_WORD)result )
KeBugCheckEx(0x34u, 0x9FFui64, 0xFFFFFFFFC0000420ui64, 0i64, 0i64);
if( (_WORD)result == 1 )
_InterlockedAdd((volatile signed __int32 *)(v1 + 544), 1u);
return result;
}