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