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