taglinefilesource code
irq_verified80drivers/sound/sb_dsp.cstatic int      irq_verified = 0;
irq_verified844drivers/sound/sb_dsp.cif (!irq_verified)
irq_verified847drivers/sound/sb_dsp.cirq_verified = 1;