tag	line	file	source code
sb16midi_detected	55	drivers/sound/sb16_midi.c	static int      sb16midi_detected = 0;
sb16midi_detected	233	drivers/sound/sb16_midi.c	if (!sb16midi_detected)
sb16midi_detected	308	drivers/sound/sb16_midi.c	sb16midi_detected = ok;