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