__int64 __fastcall KiAccumulateProcessorCycleStats(__int64 a1){
unsigned int FrequencyBucket;
__int64 v3;
__int64 v4;
__int64 result;
__int64 v6;
FrequencyBucket = PoGetFrequencyBucket(a1);
v3 = *(unsigned __int8 *)(a1 + 33208);
v4 = *(_QWORD *)(a1 + 8 * (v3 + 2i64 * FrequencyBucket) + 32576);
result = v3 + 2i64 * FrequencyBucket;
*(_QWORD *)(a1 + 8 * result + 32576) = v6 + v4;
return result;
}