ipmi_intf         167 drivers/char/ipmi/ipmi_watchdog.c static void ipmi_register_watchdog(int ipmi_intf);
ipmi_intf         168 drivers/char/ipmi/ipmi_watchdog.c static void ipmi_unregister_watchdog(int ipmi_intf);
ipmi_intf         973 drivers/char/ipmi/ipmi_watchdog.c static void ipmi_register_watchdog(int ipmi_intf)
ipmi_intf         980 drivers/char/ipmi/ipmi_watchdog.c 	if ((ifnum_to_use >= 0) && (ifnum_to_use != ipmi_intf))
ipmi_intf         983 drivers/char/ipmi/ipmi_watchdog.c 	watchdog_ifnum = ipmi_intf;
ipmi_intf         985 drivers/char/ipmi/ipmi_watchdog.c 	rv = ipmi_create_user(ipmi_intf, &ipmi_hndlrs, NULL, &watchdog_user);
ipmi_intf        1059 drivers/char/ipmi/ipmi_watchdog.c static void ipmi_unregister_watchdog(int ipmi_intf)
ipmi_intf        1067 drivers/char/ipmi/ipmi_watchdog.c 	if (watchdog_ifnum != ipmi_intf)