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