Symbol: ipmi_register_watchdog
drivers/char/ipmi/ipmi_watchdog.c
1135
ipmi_register_watchdog(if_num);
drivers/char/ipmi/ipmi_watchdog.c
168
static void ipmi_register_watchdog(int ipmi_intf);
drivers/char/ipmi/ipmi_watchdog.c
258
ipmi_register_watchdog(ifnum_to_use);