tag	line	file	source code
timer_no	107	drivers/sound/sound_timer.c	int             timer_no, resolution;
timer_no	120	drivers/sound/sound_timer.c	timer_no = 2;
timer_no	125	drivers/sound/sound_timer.c	timer_no = 1;
timer_no	132	drivers/sound/sound_timer.c	arm_timer (timer_no, divisor);