iPXE
efi_watchdog.h
Go to the documentation of this file.
00001 #ifndef _IPXE_EFI_WATCHDOG_H
00002 #define _IPXE_EFI_WATCHDOG_H
00003 
00004 /** @file
00005  *
00006  * EFI watchdog holdoff timer
00007  */
00008 
00009 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
00010 
00011 extern struct retry_timer efi_watchdog;
00012 
00013 /**
00014  * Start EFI watchdog holdoff timer
00015  *
00016  */
00017 static inline void efi_watchdog_start ( void ) {
00018 
00019         start_timer_nodelay ( &efi_watchdog );
00020 }
00021 
00022 /**
00023  * Stop EFI watchdog holdoff timer
00024  *
00025  */
00026 static inline void efi_watchdog_stop ( void ) {
00027 
00028         stop_timer ( &efi_watchdog );
00029 }
00030 
00031 #endif /* _IPXE_EFI_WATCHDOG_H */