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;