__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();