Symbol: WDOG_PRETIMEOUT_NMI
drivers/char/ipmi/ipmi_watchdog.c
1079
if (preaction_val != WDOG_PRETIMEOUT_NMI)
drivers/char/ipmi/ipmi_watchdog.c
1187
preaction_val = WDOG_PRETIMEOUT_NMI;
drivers/char/ipmi/ipmi_watchdog.c
1246
if (preaction_val == WDOG_PRETIMEOUT_NMI) {