Definitions in wdog.h

#define WDOG_ACTION_TERMINATE ((wdog_action_type_t)0x0000U)

Terminate the guest

#define WDOG_ACTION_INTR ((wdog_action_type_t)0x0001U)

Send an interrupt to the guest

#define WDOG_ACTION_MASK ((wdog_action_type_t)0x000fU)

Action mask to remove irrelevant information

#define WDOG_FLAG_DUMP ((wdog_action_type_t)0x8000U)

Generate a core dump

#define WDOG_OPT_ACTION_IDX ((vdev_ctrl_options_t)0U)

Index to the actions the watchdog can take

#define WDOG_OPT_NUM_OPTS ((vdev_ctrl_options_t)1U)

Number of options the watchdog supports

#define WDOG_OPTIONS [WDOG_OPT_ACTION_IDX] = "action"

Add the action option to a vdev's options list