taglinefilesource code
smp_commenced51arch/i386/kernel/smp.cstatic volatile int smp_commenced=0;      /* Tripped when we start scheduling           */
smp_commenced418arch/i386/kernel/smp.csmp_commenced=1;
smp_commenced453arch/i386/kernel/smp.cwhile(!smp_commenced);
smp_commenced615arch/i386/kernel/smp.cif(!smp_activated || !smp_commenced)