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