_ipmi_heartbeat   651 drivers/char/ipmi/ipmi_watchdog.c 	rv = _ipmi_heartbeat();
_ipmi_heartbeat   702 drivers/char/ipmi/ipmi_watchdog.c 		return _ipmi_heartbeat();