taglinefilesource code
num_processors43arch/i386/kernel/smp.cstatic unsigned int num_processors = 0;      /* Internal processor count        */
num_processors178arch/i386/kernel/smp.cnum_processors++;
num_processors239arch/i386/kernel/smp.creturn num_processors;        
num_processors250arch/i386/kernel/smp.cnum_processors = 1;    /* The boot processor */
num_processors275arch/i386/kernel/smp.cnum_processors=2;
num_processors317arch/i386/kernel/smp.cprintk("Processors: %d\n", num_processors);
num_processors353arch/i386/kernel/smp.cint size=(num_processors-1)*PAGE_SIZE;    /* Number of stacks needed */