taglinefilesource code
num_processors48arch/i386/kernel/smp.cstatic unsigned int num_processors = 1;      /* Internal processor count        */
num_processors213arch/i386/kernel/smp.cnum_processors++;
num_processors277arch/i386/kernel/smp.creturn num_processors;        
num_processors315arch/i386/kernel/smp.cnum_processors=2;
num_processors357arch/i386/kernel/smp.cprintk("Processors: %d\n", num_processors);
num_processors397arch/i386/kernel/smp.cint size=(num_processors-1)*PAGE_SIZE;    /* Number of stacks needed */