watchdog_ifnum    129 drivers/char/ipmi/ipmi_watchdog.c static int watchdog_ifnum;
watchdog_ifnum    249 drivers/char/ipmi/ipmi_watchdog.c 	if ((ifnum_to_use < 0) || (ifnum_to_use == watchdog_ifnum))
watchdog_ifnum    252 drivers/char/ipmi/ipmi_watchdog.c 	ipmi_unregister_watchdog(watchdog_ifnum);
watchdog_ifnum    983 drivers/char/ipmi/ipmi_watchdog.c 	watchdog_ifnum = ipmi_intf;
watchdog_ifnum   1067 drivers/char/ipmi/ipmi_watchdog.c 	if (watchdog_ifnum != ipmi_intf)
watchdog_ifnum   1324 drivers/char/ipmi/ipmi_watchdog.c 	ipmi_unregister_watchdog(watchdog_ifnum);