tag	line	file	source code
timer_flag	71	drivers/sound/mpu401.c	int             timer_flag;
timer_flag	203	drivers/sound/mpu401.c	if (devc->timer_flag)
timer_flag	1075	drivers/sound/mpu401.c	devc->timer_flag = 0;
timer_flag	1748	drivers/sound/mpu401.c	if (!devc->timer_flag)
timer_flag	1813	drivers/sound/mpu401.c	dev_conf[midi_dev].timer_flag = 1;