taglinefilesource code
sb_dsp_ok49drivers/sound/sb_dsp.cint      sb_dsp_ok = 0;  /* Set to 1 after successful initialization */
sb_dsp_ok491drivers/sound/sb_dsp.cif (!sb_dsp_ok)
sb_dsp_ok615drivers/sound/sb_dsp.cif (sb_dsp_ok)
sb_dsp_ok720drivers/sound/sb_dsp.csb_dsp_ok = 1;
sb_dsp_ok45drivers/sound/sb_midi.cextern int      sb_dsp_ok;  /* Set to 1 after successful initialization */
sb_dsp_ok66drivers/sound/sb_midi.cif (!sb_dsp_ok)