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