VOID __stdcall HalpTimerWatchdogWakeSetDueTime(){
UINT64 v0;
UINT64 v1;
if( !HalpWatchdogTimer || (*((_DWORD *)HalpWatchdogTimer + 56) & 0x80000) == 0 )
{
v0 = qword_140C4A330;
if( HalpWatchdogTimer && *((_DWORD *)HalpWatchdogTimer + 57) == 8 )
v0 = qword_140C4A330 >> 1;
if( v0 <= 0x2FAF0800 )
v1 = v0 >> 1;
else
v1 = v0 - 600000000;
qword_140C4A358 = qword_140C4A350 + v1;
}
}