VOID __fastcall HalpTimerWatchdogResetCountdown(UINT64 ResetWakeTimer){
unsigned __int64 v1;
if( HalpWatchdogTimer )
{
if( HalpTimerWatchdogArmed )
{
HalpSetTimer((__int64)HalpWatchdogTimer, 3u, HalpTimerWatchdogTimeout, 1, &v1);
HalpTimerWatchdogLastReset = *(_QWORD *)&KUSER_SHARED_DATA.InterruptTime.LowPart;
HalpTimerWatchdogWakeSetDueTime();
}
}
}