tag	line	file	source code
arm_timer	267	drivers/sound/dev_table.h	void (*arm_timer)(int dev, long time);
arm_timer	3521	drivers/sound/gus_wave.c	arm_timer (timer_no, divisor);