VOID __fastcall HalpTimerQueryCycleCounter(UINT64 *CycleCounterFrequency){
INT64 *Timer;
void *v3;
void *v4;
__int64 v5;
__int64 v6;
Timer = HalpFindTimer(5, 0, 0, 0, 1);
if( Timer )
{
if( CycleCounterFrequency )
*CycleCounterFrequency = Timer[24];
HalpTimerGetInternalData((_KDPC *)Timer, Timer, v3, v4);
(*(void(__fastcall **)(__int64))(v5 + 112))(v6);
}
}