tag	line	file	source code
audio_release	71	drivers/sound/audio.c	audio_release (dev, file);
audio_release	28	drivers/sound/sound_calls.h	void audio_release (int dev, struct fileinfo *file);
audio_release	399	drivers/sound/soundcard.c	audio_release (dev, &files[dev]);