[Bug #11669] when CPU hotplugging is disabled, nr_cpu_ids does not get set properly during boot

Rafael J. Wysocki
2008-10-25T21:07:50Z

Bug-Entry : http://bugzilla.kernel.org/show_bug.cgi?id=11669
Subject : when CPU hotplugging is disabled, nr_cpu_ids does not get set properly during boot
Submitter : Chuck Ebbert <cebbert-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
Date : 2008-09-29 11:40 (27 days old)
References : http://bugzilla.kernel.org/show_bug.cgi?id=11669
Handled-By : Chuck Ebbert <cebbert-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
Patch : http://bugzilla.kernel.org/attachment.cgi?id=18105