Symbol: ipmi_unregister_watchdog
drivers/char/ipmi/ipmi_watchdog.c
1140
ipmi_unregister_watchdog(if_num);
drivers/char/ipmi/ipmi_watchdog.c
1312
ipmi_unregister_watchdog(watchdog_ifnum);
drivers/char/ipmi/ipmi_watchdog.c
169
static void ipmi_unregister_watchdog(int ipmi_intf);
drivers/char/ipmi/ipmi_watchdog.c
257
ipmi_unregister_watchdog(watchdog_ifnum);