tag	line	file	source code
request_sound_timer	658	drivers/sound/sequencer.c	request_sound_timer (time);
request_sound_timer	762	drivers/sound/sequencer.c	request_sound_timer (time);
request_sound_timer	817	drivers/sound/sequencer.c	request_sound_timer (-1);
request_sound_timer	100	drivers/sound/sound_calls.h	void request_sound_timer (int count);