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