taglinefilesource code
num_processors61arch/i386/kernel/smp.cstatic unsigned int num_processors = 1;      /* Internal processor count        */
num_processors225arch/i386/kernel/smp.cnum_processors++;
num_processors289arch/i386/kernel/smp.creturn num_processors;        
num_processors369arch/i386/kernel/smp.cnum_processors=2;
num_processors426arch/i386/kernel/smp.cprintk("Processors: %d\n", num_processors);
num_processors468arch/i386/kernel/smp.cint size=(num_processors-1)*PAGE_SIZE;    /* Number of stacks needed */