tag	line	file	source code
dsp_release	58	drivers/sound/dsp.c	dsp_release (dev, file);
dsp_release	28	drivers/sound/sound_calls.h	void dsp_release (int dev, struct fileinfo *file);
dsp_release	405	drivers/sound/soundcard.c	dsp_release (dev, &files[dev]);