tag	line	file	source code
model_num	2946	drivers/sound/gus_wave.c	char           *model_num = "2.4";
model_num	3001	drivers/sound/gus_wave.c	model_num = "3.4";
model_num	3006	drivers/sound/gus_wave.c	model_num = "3.7";
model_num	3012	drivers/sound/gus_wave.c	model_num = "MAX";
model_num	3056	drivers/sound/gus_wave.c	printk (" <Gravis UltraSound %s (%dk)>", model_num, (int) gus_mem_size / 1024);
model_num	3058	drivers/sound/gus_wave.c	sprintf (gus_info.name, "Gravis UltraSound %s (%dk)", model_num, (int) gus_mem_size / 1024);