1 #ifndef _IPXE_EFI_WATCHDOG_H
2 #define _IPXE_EFI_WATCHDOG_H
6 * EFI watchdog holdoff timer
9 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
11 extern struct retry_timer efi_watchdog;
14 * Start EFI watchdog holdoff timer
17 static inline void efi_watchdog_start ( void ) {
19 start_timer_nodelay ( &efi_watchdog );
23 * Stop EFI watchdog holdoff timer
26 static inline void efi_watchdog_stop ( void ) {
28 stop_timer ( &efi_watchdog );
31 #endif /* _IPXE_EFI_WATCHDOG_H */