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);