tag	line	file	source code
sb16midi_detected	59	drivers/sound/sb16_midi.c	static int      sb16midi_detected = 0;
sb16midi_detected	208	drivers/sound/sb16_midi.c	if (!sb16midi_detected)
sb16midi_detected	303	drivers/sound/sb16_midi.c	sb16midi_detected = ok;