tag	line	file	source code
sound_setup	520	drivers/sound/dev_table.h	void sound_setup (char *str, int *ints);
sound_setup	659	drivers/sound/dmasound.c	void sound_setup(char *str, int *ints);    /* ++Martin: stub for now */
sound_setup	417	drivers/sound/soundcard.c	sound_setup ("sound=", ints);
sound_setup	87	init/main.c	extern void sound_setup(char *str, int *ints);
sound_setup	358	init/main.c	{ "sound=", sound_setup },