tag	line	file	source code
sb16midi_detected	75	drivers/sound/sb16_midi.c	static int      sb16midi_detected = 0;
sb16midi_detected	261	drivers/sound/sb16_midi.c	if (!sb16midi_detected)
sb16midi_detected	354	drivers/sound/sb16_midi.c	sb16midi_detected = ok;