do_heartbeat      166 drivers/char/ipmi/ipmi_watchdog.c static int ipmi_set_timeout(int do_heartbeat);
do_heartbeat      417 drivers/char/ipmi/ipmi_watchdog.c static int _ipmi_set_timeout(int do_heartbeat)
do_heartbeat      435 drivers/char/ipmi/ipmi_watchdog.c 	if ((do_heartbeat == IPMI_SET_TIMEOUT_FORCE_HB)
do_heartbeat      437 drivers/char/ipmi/ipmi_watchdog.c 		    && (do_heartbeat == IPMI_SET_TIMEOUT_HB_IF_NECESSARY)))
do_heartbeat      443 drivers/char/ipmi/ipmi_watchdog.c static int ipmi_set_timeout(int do_heartbeat)
do_heartbeat      448 drivers/char/ipmi/ipmi_watchdog.c 	rv = _ipmi_set_timeout(do_heartbeat);