HalpTimerWatchdogWakeSetDueTime

VOID __stdcall HalpTimerWatchdogWakeSetDueTime(){
  unsigned __int64 v0; 
  unsigned __int64 v1; 
  if( !HalpWatchdogTimer || (*((_DWORD *)HalpWatchdogTimer + 56) & 0x80000) == 0 )
  {
    v0 = HalpTimerWatchdogTimeout;
    if( HalpWatchdogTimer && *((_DWORD *)HalpWatchdogTimer + 57) == 8 )
      v0 = (unsigned __int64)HalpTimerWatchdogTimeout >> 1;
    if( v0 <= 0x2FAF0800 )
      v1 = v0 >> 1;
    else
      v1 = v0 - 600000000;
    HalpWatchdogWakeDueTime = HalpTimerWatchdogLastReset + v1;
  }
}

Referenced by: