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