INT64 __stdcall HalpTimerWatchdogLogReset(){
INT64 result;
LODWORD(result) = HalpTimerWatchdogGeneratedLastReset();
if( (_BYTE)result )
{
if( HalpDiagnosticEventsRegistered )
{
EtwWrite(HalpDiagnosticEventHandle, (EVENT_DESCRIPTOR *)&HAL_ETW_EVENT_WATCHDOG_TRIGGERED, 0i64, 0i64, 0i64);
LODWORD(result) = DbgPrint("System was rebooted due to system watchdog timeout.\n");
}
}
return result;
}