drivers/char/ipmi/ipmi_watchdog.c

1020

ipmi_watchdog_state = WDOG_TIMEOUT_NONE;

drivers/char/ipmi/ipmi_watchdog.c

1076

if (ipmi_watchdog_state == WDOG_TIMEOUT_NONE)

drivers/char/ipmi/ipmi_watchdog.c

1111

ipmi_watchdog_state = WDOG_TIMEOUT_NONE;

drivers/char/ipmi/ipmi_watchdog.c

1113

} else if (ipmi_watchdog_state != WDOG_TIMEOUT_NONE) {

drivers/char/ipmi/ipmi_watchdog.c

1154

action_val = WDOG_TIMEOUT_NONE;

drivers/char/ipmi/ipmi_watchdog.c

309

static unsigned char ipmi_watchdog_state = WDOG_TIMEOUT_NONE;

drivers/char/ipmi/ipmi_watchdog.c

374

if (ipmi_watchdog_state != WDOG_TIMEOUT_NONE) {

drivers/char/ipmi/ipmi_watchdog.c

390

if ((pretimeout > 0) && (ipmi_watchdog_state != WDOG_TIMEOUT_NONE)) {

drivers/char/ipmi/ipmi_watchdog.c

474

if (ipmi_watchdog_state == WDOG_TIMEOUT_NONE)

drivers/char/ipmi/ipmi_watchdog.c

521

if (ipmi_watchdog_state == WDOG_TIMEOUT_NONE)

drivers/char/ipmi/ipmi_watchdog.c

677

ipmi_watchdog_state = WDOG_TIMEOUT_NONE;

drivers/char/ipmi/ipmi_watchdog.c

843

ipmi_watchdog_state = WDOG_TIMEOUT_NONE;

drivers/char/ipmi/ipmi_watchdog.c

923

ipmi_watchdog_state != WDOG_TIMEOUT_NONE) {