INT64 __fastcall HalpTimerWatchdogStop(){
void *v0;
void *v1;
__int64 v2;
__int64 v3;
INT64 result;
if( HalpWatchdogTimer )
{
++HalpTimerWatchdogStopCount;
if( HalpTimerWatchdogArmed )
{
HalpTimerGetInternalData((KDPC *)HalpWatchdogTimer, HalpWatchdogTimer, v0, v1);
result = (*(__int64(__fastcall **)(__int64))(v2 + 136))(v3);
HalpWatchdogWakeDueTime = 0i64;
HalpTimerWatchdogArmed = 0;
}
}
return result;
}