INT8 __stdcall HalpTimerHypervisorInterruptStub(){
void *v0;
void *v1;
__int64 v2;
__int64 v3;
HalpTimerGetInternalData((_KDPC *)HalpHypervisorHpet, HalpHypervisorHpet, v0, v1);
(*(void(__fastcall **)(__int64))(v2 + 120))(v3);
++*((_DWORD *)HalpHypervisorHpet + 16);
return 1;
}