43#define WATCHDOG_HOLDOFF_SECS 10
46#define WATCHDOG_TIMEOUT_SECS ( 5 * 60 )
49#define WATCHDOG_CODE 0x6950584544454144ULL
52#define WATCHDOG_DATA L"iPXE";
67 DBGC2 (
timer,
"EFI holding off watchdog timer\n" );
77 DBGC (
timer,
"EFI could not set watchdog timer: %s\n",
115 .name =
"efi_watchdog",
unsigned short CHAR16
2-byte Character.
#define NULL
NULL pointer (VOID *)
RETURN_STATUS EFI_STATUS
Function return status for EFI API.
struct arbelprm_rc_send_wqe rc
#define WATCHDOG_DATA
Watchdog data (to be logged on watchdog timeout)
#define WATCHDOG_TIMEOUT_SECS
Watchdog timeout (in seconds)
#define WATCHDOG_HOLDOFF_SECS
Watchdog holdoff interval (in seconds)
static void efi_watchdog_expired(struct retry_timer *timer, int over __unused)
Hold off watchdog timer.
static void efi_watchdog_shutdown(int booting)
Disable watching when shutting down to boot an operating system.
struct retry_timer efi_watchdog
Watchdog holdoff timer.
#define WATCHDOG_CODE
Watchdog code (to be logged on watchdog timeout)
EFI watchdog holdoff timer.
uint8_t data[48]
Additional event data.
#define __unused
Declare a variable or data structure as unused.
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.
#define STARTUP_EARLY
Early startup.
#define EEFI(efirc)
Convert an EFI status code to an iPXE status code.
EFI_SYSTEM_TABLE * efi_systab
#define TICKS_PER_SEC
Number of ticks per second.
#define __startup_fn(startup_order)
Declare a startup/shutdown function.
void start_timer_fixed(struct retry_timer *timer, unsigned long timeout)
Start timer with a specified timeout.
#define TIMER_INIT(expired_fn)
Initialise a static timer.
char * strerror(int errno)
Retrieve string representation of error number.
EFI_SET_WATCHDOG_TIMER SetWatchdogTimer
A startup/shutdown function.