ipmi_unregister_watchdog  168 drivers/char/ipmi/ipmi_watchdog.c static void ipmi_unregister_watchdog(int ipmi_intf);
ipmi_unregister_watchdog  252 drivers/char/ipmi/ipmi_watchdog.c 	ipmi_unregister_watchdog(watchdog_ifnum);
ipmi_unregister_watchdog 1177 drivers/char/ipmi/ipmi_watchdog.c 	ipmi_unregister_watchdog(if_num);
ipmi_unregister_watchdog 1324 drivers/char/ipmi/ipmi_watchdog.c 	ipmi_unregister_watchdog(watchdog_ifnum);