tag	line	file	source code
sb16midi_detected	57	drivers/sound/sb16_midi.c	static int      sb16midi_detected = 0;
sb16midi_detected	205	drivers/sound/sb16_midi.c	if (!sb16midi_detected)
sb16midi_detected	298	drivers/sound/sb16_midi.c	sb16midi_detected = ok;