VOID __stdcall HalpTimerWatchdogStop(){
void *v0;
void *v1;
__int64 v2;
__int64 v3;
if( HalpWatchdogTimer )
{
++dword_140C4A338;
if( byte_140C4A348 )
{
HalpTimerGetInternalData((_KDPC *)HalpWatchdogTimer, HalpWatchdogTimer, v0, v1);
(*(void(__fastcall **)(__int64))(v2 + 136))(v3);
qword_140C4A358 = 0i64;
byte_140C4A348 = 0;
}
}
}