WDOG_PRETIMEOUT_NMI 1116 drivers/char/ipmi/ipmi_watchdog.c 	if (preaction_val != WDOG_PRETIMEOUT_NMI)
WDOG_PRETIMEOUT_NMI 1222 drivers/char/ipmi/ipmi_watchdog.c 		preaction_val = WDOG_PRETIMEOUT_NMI;
WDOG_PRETIMEOUT_NMI 1258 drivers/char/ipmi/ipmi_watchdog.c 	if (preaction_val == WDOG_PRETIMEOUT_NMI) {