tag	line	file	source code
irq_verified	72	drivers/sound/sb_dsp.c	static int      irq_verified = 0;
irq_verified	653	drivers/sound/sb_dsp.c	if (!irq_verified)
irq_verified	656	drivers/sound/sb_dsp.c	irq_verified = 1;