taglinefilesource code
cpucount469arch/i386/kernel/smp.cint cpucount=0;
cpucount547arch/i386/kernel/smp.ccpucount++;
cpucount566arch/i386/kernel/smp.cif(cpucount==0)
cpucount580arch/i386/kernel/smp.ccpucount+1, 
cpucount584arch/i386/kernel/smp.csmp_num_cpus=cpucount+1;