taglinefilesource code
irq_verified56drivers/sound/sb_dsp.cstatic int  irq_verified = 0;
irq_verified507drivers/sound/sb_dsp.cif (!irq_verified)
irq_verified510drivers/sound/sb_dsp.cirq_verified = 1;