Hi,

On Tue, Oct 23, 2012 at 12:43 AM, Robert P. J. Day
[off-list ref] wrote:

On Mon, 22 Oct 2012, Srivatsa Bhat wrote:

quoted

Hi,

You might want to take a look at Documentation/cpu-hotplug.txt for
some details regarding online/possible CPUs...

  ah, quite so, although that file is definitely out of date.  it
doesn't mention the command-line parameters "nosmp" or "nr_cpus="
which are defined in kernel/smp.c.  more in a bit ...

I believe you'll find them in Documentation/kernel-parameters.txt. Of course,
it would be good to have them documented or at least mentioned in the
above file (cpu-hotplug.txt) as well..

Regards,
Srivatsa S. Bhat