INT64 __fastcall PpmPerfAccumulateBrandedFrequency(UINT64 a1, _DWORD *a2){
__int64 v3;
__int64 v4;
INT64 result;
KeGetPrcb(a1);
v4 = *(_QWORD *)(v3 + 33128);
if( v4 )
result = *(unsigned int *)(v4 + 316);
else
result = *(unsigned int *)(v3 + 68);
if( a2[1] < (unsigned int)result )
a2[1] = result;
*a2 = 1;
return result;
}