taglinefilesource code
cpucount467arch/i386/kernel/smp.cint cpucount=0;
cpucount545arch/i386/kernel/smp.ccpucount++;
cpucount564arch/i386/kernel/smp.cif(cpucount==0)
cpucount578arch/i386/kernel/smp.ccpucount+1, 
cpucount582arch/i386/kernel/smp.csmp_num_cpus=cpucount+1;