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