VOID __stdcall HalpTimerStopProfileInterrupt(){
void *v0;
void *v1;
__int64 v2;
__int64 v3;
if( HalpProfileTimer && ((*((_DWORD *)HalpProfileTimer + 56) & 1) != 0 || !*((_DWORD *)KeGetPcr() + 105)) )
{
HalpTimerGetInternalData((KDPC *)HalpProfileTimer, HalpProfileTimer, v0, v1);
(*(void(__fastcall **)(__int64))(v2 + 136))(v3);
}
HalpProfilingActive = 0;
}