tag	line	file	source code
smp_found_config	35	arch/i386/kernel/smp.c	static int smp_found_config=0;        /* Have we found an SMP box         */
smp_found_config	269	arch/i386/kernel/smp.c	smp_found_config=1;