tag	line	file	source code
wdt_is_open	39	drivers/char/wdt.c	static int wdt_is_open=0;
wdt_is_open	161	drivers/char/wdt.c	if(wdt_is_open)
wdt_is_open	168	drivers/char/wdt.c	wdt_is_open=1;
wdt_is_open	194	drivers/char/wdt.c	wdt_is_open=0;