tag	line	file	source code
smp_commenced	48	arch/i386/kernel/smp.c	static volatile int smp_commenced=0;      /* Tripped when we start scheduling           */
smp_commenced	416	arch/i386/kernel/smp.c	smp_commenced=1;
smp_commenced	451	arch/i386/kernel/smp.c	while(!smp_commenced);