iPXE
efi_watchdog.h
Go to the documentation of this file.
1 #ifndef _IPXE_EFI_WATCHDOG_H
2 #define _IPXE_EFI_WATCHDOG_H
3 
4 /** @file
5  *
6  * EFI watchdog holdoff timer
7  */
8 
9 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
10 
11 extern struct retry_timer efi_watchdog;
12 
13 /**
14  * Start EFI watchdog holdoff timer
15  *
16  */
17 static inline void efi_watchdog_start ( void ) {
18 
20 }
21 
22 /**
23  * Stop EFI watchdog holdoff timer
24  *
25  */
26 static inline void efi_watchdog_stop ( void ) {
27 
29 }
30 
31 #endif /* _IPXE_EFI_WATCHDOG_H */
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
static void start_timer_nodelay(struct retry_timer *timer)
Start timer with no delay.
Definition: retry.h:99
A retry timer.
Definition: retry.h:21
static void efi_watchdog_start(void)
Start EFI watchdog holdoff timer.
Definition: efi_watchdog.h:17
struct retry_timer efi_watchdog
Watchdog holdoff timer.
Definition: efi_watchdog.c:82
static void efi_watchdog_stop(void)
Stop EFI watchdog holdoff timer.
Definition: efi_watchdog.h:26
void stop_timer(struct retry_timer *timer)
Stop timer.
Definition: retry.c:117