tag	line	file	source code
timer_flag	70	drivers/sound/mpu401.c	int             timer_flag;
timer_flag	180	drivers/sound/mpu401.c	if (devc->timer_flag)
timer_flag	1036	drivers/sound/mpu401.c	devc->timer_flag = 0;
timer_flag	1697	drivers/sound/mpu401.c	if (!devc->timer_flag)
timer_flag	1762	drivers/sound/mpu401.c	dev_conf[midi_dev].timer_flag = 1;