char __fastcall HalpTimerProfileInterrupt(__int64 a1, __int64 a2, void *a3, void *a4){
KTRAP_FRAME *v4;
__int64 v5;
__int64 v6;
v4 = *(KTRAP_FRAME **)(a1 + 136);
HalpTimerGetInternalData((KDPC *)HalpProfileTimer, HalpProfileTimer, a3, a4);
(*(void(__fastcall **)(__int64))(v5 + 120))(v6);
DefaultOverflowHandler(v4);
return 1;
}