Lines Matching full:watchdog
3 * EFI watchdog
17 * Reset the system when the watchdog event is notified.
19 * @event: the watchdog event
27 printf("\nEFI: Watchdog timeout\n"); in efi_watchdog_timer_notify()
35 * Reset the watchdog timer.
39 * @timeout: seconds before reset by watchdog
47 /* Reset watchdog */ in efi_set_watchdog()
51 /* Deactivate watchdog */ in efi_set_watchdog()
57 * Initialize the EFI watchdog.
72 printf("ERROR: Failed to register watchdog event\n"); in efi_watchdog_register()
76 * The UEFI standard requires that the watchdog timer is set to five in efi_watchdog_register()
84 printf("ERROR: Failed to set watchdog timer\n"); in efi_watchdog_register()