drivers/char/ipmi/ipmi_watchdog.c

1016

ipmi_set_timeout(IPMI_SET_TIMEOUT_FORCE_HB);

drivers/char/ipmi/ipmi_watchdog.c

1021

ipmi_set_timeout(IPMI_SET_TIMEOUT_NO_HB);

drivers/char/ipmi/ipmi_watchdog.c

1112

ipmi_set_timeout(IPMI_SET_TIMEOUT_NO_HB);

drivers/char/ipmi/ipmi_watchdog.c

1121

ipmi_set_timeout(IPMI_SET_TIMEOUT_NO_HB);

drivers/char/ipmi/ipmi_watchdog.c

167

static int ipmi_set_timeout(int do_heartbeat);

drivers/char/ipmi/ipmi_watchdog.c

191

rv = ipmi_set_timeout(IPMI_SET_TIMEOUT_HB_IF_NECESSARY);

drivers/char/ipmi/ipmi_watchdog.c

226

rv = ipmi_set_timeout(IPMI_SET_TIMEOUT_HB_IF_NECESSARY);

drivers/char/ipmi/ipmi_watchdog.c

990

rv = ipmi_set_timeout(IPMI_SET_TIMEOUT_FORCE_HB);