tag	line	file	source code
timer_installed	97	drivers/sound/ad1848.c	static int      timer_installed = -1;
timer_installed	1027	drivers/sound/ad1848.c	if (dev == timer_installed && devc->timer_running)
timer_installed	1654	drivers/sound/ad1848.c	if (timer_installed == dev && devc->timer_running)
timer_installed	1968	drivers/sound/ad1848.c	if (timer_installed != -1)
timer_installed	1971	drivers/sound/ad1848.c	timer_installed = ad1848_tmr.dev = dev;