Symbol: __ipmi_heartbeat
drivers/char/ipmi/ipmi_watchdog.c
334
static int __ipmi_heartbeat(void);
drivers/char/ipmi/ipmi_watchdog.c
449
rv = __ipmi_heartbeat();
drivers/char/ipmi/ipmi_watchdog.c
608
rv = __ipmi_heartbeat();