VOID __stdcall HalpTimerWatchdogResetCountdown(UINT64 ResetWakeTimer){
INT64 a5;
if( HalpWatchdogTimer )
{
if( byte_140C4A348 )
{
HalpSetTimer((_KDPC *)HalpWatchdogTimer, 3ui64, qword_140C4A330, 1, (INT64)&a5);
qword_140C4A350 = *(_QWORD *)&KUSER_SHARED_DATA.InterruptTime.LowPart;
HalpTimerWatchdogWakeSetDueTime();
}
}
}