__ipmi_heartbeat 329 drivers/char/ipmi/ipmi_watchdog.c static int __ipmi_heartbeat(void); __ipmi_heartbeat 438 drivers/char/ipmi/ipmi_watchdog.c rv = __ipmi_heartbeat(); __ipmi_heartbeat 640 drivers/char/ipmi/ipmi_watchdog.c rv = __ipmi_heartbeat();