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