Symbol: IPMI_SET_WD_ACTION_POWER_CYCLE
sys/dev/ipmi/ipmi.c
785
wd_timer_actions = IPMI_SET_WD_ACTION_POWER_CYCLE;
sys/dev/ipmi/ipmi.c
85
static int wd_timer_actions = IPMI_SET_WD_ACTION_POWER_CYCLE;