ipmi_register_watchdog  167 drivers/char/ipmi/ipmi_watchdog.c static void ipmi_register_watchdog(int ipmi_intf);
ipmi_register_watchdog  253 drivers/char/ipmi/ipmi_watchdog.c 	ipmi_register_watchdog(ifnum_to_use);
ipmi_register_watchdog 1172 drivers/char/ipmi/ipmi_watchdog.c 	ipmi_register_watchdog(if_num);