INT64 *__fastcall MiIncrementVmFaultCount(INT64 a1, INT64 a2){
INT64 *result;
unsigned int v3;
*(_DWORD *)(a1 + 4) += a2;
result = MiGetAggregationVm(a1);
if( result )
*(_DWORD *)result += v3;
__addgsdword(0x2E90u, v3);
return result;
}