efi_watchdog.h

Go to the documentation of this file.

#ifndef _IPXE_EFI_WATCHDOG_H
#define _IPXE_EFI_WATCHDOG_H

/** @file
 *
 * EFI watchdog holdoff timer
 */

FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
FILE_SECBOOT ( PERMITTED );

extern struct retry_timer efi_watchdog;

/**
 * Start EFI watchdog holdoff timer
 *
 */
static inline void efi_watchdog_start ( void ) {

        start_timer_nodelay ( &efi_watchdog );
}

/**
 * Stop EFI watchdog holdoff timer
 *
 */
static inline void efi_watchdog_stop ( void ) {

        stop_timer ( &efi_watchdog );
}

#endif /* _IPXE_EFI_WATCHDOG_H */