tag	line	file	source code
irq_verified	77	drivers/sound/sb_dsp.c	static int      irq_verified = 0;
irq_verified	631	drivers/sound/sb_dsp.c	if (!irq_verified)
irq_verified	634	drivers/sound/sb_dsp.c	irq_verified = 1;