taglinefilesource code
irq_verified68drivers/sound/sb_dsp.cstatic int      irq_verified = 0;
irq_verified606drivers/sound/sb_dsp.cif (!irq_verified)
irq_verified609drivers/sound/sb_dsp.cirq_verified = 1;