GEF_WDOG_FLAG_OPENED  220 drivers/watchdog/gef_wdt.c 	if (test_and_set_bit(GEF_WDOG_FLAG_OPENED, &wdt_flags))
GEF_WDOG_FLAG_OPENED  241 drivers/watchdog/gef_wdt.c 	clear_bit(GEF_WDOG_FLAG_OPENED, &wdt_flags);