void event_resend_work_handler(struct k_work *work)
Definition: plat_ipmi.c:119
WDT_TIMER_ACTIONS
Definition: plat_ipmi.h:26
@ NO_ACTION
Definition: plat_ipmi.h:27
@ POWER_DOWN
Definition: plat_ipmi.h:29
@ HARD_RESET
Definition: plat_ipmi.h:28
@ POWER_CYCLE
Definition: plat_ipmi.h:30
GET_HTTP_BOOT_ATTR
Definition: plat_ipmi.h:20
@ GET_HTTP_BOOT_CRC32
Definition: plat_ipmi.h:22
@ GET_HTTP_BOOT_SIZE
Definition: plat_ipmi.h:21
@ GET_HTTP_BOOT_MAX
Definition: plat_ipmi.h:23