tag	line	file	source code
timer_flag	74	drivers/sound/mpu401.c	int             timer_flag;
timer_flag	190	drivers/sound/mpu401.c	if (devc->timer_flag)
timer_flag	1046	drivers/sound/mpu401.c	devc->timer_flag = 0;
timer_flag	1727	drivers/sound/mpu401.c	if (!devc->timer_flag)
timer_flag	1792	drivers/sound/mpu401.c	dev_conf[midi_dev].timer_flag = 1;