tag	line	file	source code
pro_midi_dev	134	drivers/sound/dev_table.h	int num_generic_midis = 0, pro_midi_dev = 0;
pro_midi_dev	252	drivers/sound/dev_table.h	extern int num_generic_midis, pro_midi_dev;