Symbol: _ipmi_heartbeat
drivers/char/ipmi/ipmi_watchdog.c
619
rv = _ipmi_heartbeat();
drivers/char/ipmi/ipmi_watchdog.c
670
return _ipmi_heartbeat();