tag	line	file	source code
old_config_used	307	drivers/sound/configure.c	int             old_config_used = 0;
old_config_used	691	drivers/sound/configure.c	old_config_used = 1;
old_config_used	1544	drivers/sound/configure.c	if (!old_config_used)