tag	line	file	source code
set_timer_mode	1432	drivers/sound/mpu401.c	set_timer_mode (midi_dev);
set_timer_mode	1469	drivers/sound/mpu401.c	set_timer_mode (midi_dev);