char __fastcall HalpTimerClockInterruptStub(__int64 a1, __int64 a2, void *a3, void *a4){
__int64 v4;
__int64 v5;
HalpTimerGetInternalData((KDPC *)HalpClockTimer, (PVOID)HalpClockTimer, a3, a4);
(*(void(__fastcall **)(__int64))(v4 + 120))(v5);
++*(_DWORD *)(HalpClockTimer + 64);
return 1;
}