Symbol: ipmi_heartbeat
drivers/char/ipmi/ipmi_watchdog.c
736
rv = ipmi_heartbeat();
drivers/char/ipmi/ipmi_watchdog.c
848
ipmi_heartbeat();