ipmi_heartbeat    768 drivers/char/ipmi/ipmi_watchdog.c 		rv = ipmi_heartbeat();
ipmi_heartbeat    880 drivers/char/ipmi/ipmi_watchdog.c 			ipmi_heartbeat();