WDOG_TIMEOUT_RESET  141 drivers/char/ipmi/ipmi_watchdog.c static unsigned char action_val = WDOG_TIMEOUT_RESET;
WDOG_TIMEOUT_RESET 1017 drivers/char/ipmi/ipmi_watchdog.c 		ipmi_watchdog_state = WDOG_TIMEOUT_RESET;
WDOG_TIMEOUT_RESET 1157 drivers/char/ipmi/ipmi_watchdog.c 			ipmi_watchdog_state = WDOG_TIMEOUT_RESET;
WDOG_TIMEOUT_RESET 1195 drivers/char/ipmi/ipmi_watchdog.c 		action_val = WDOG_TIMEOUT_RESET;