ipmi_wdog_open    307 drivers/char/ipmi/ipmi_watchdog.c static unsigned long ipmi_wdog_open;
ipmi_wdog_open    831 drivers/char/ipmi/ipmi_watchdog.c 		if (test_and_set_bit(0, &ipmi_wdog_open))
ipmi_wdog_open    882 drivers/char/ipmi/ipmi_watchdog.c 		clear_bit(0, &ipmi_wdog_open);