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)