|
@@ -1086,8 +1086,10 @@ static int __init smp_sanity_check(unsigned max_cpus)
|
|
|
#endif
|
|
|
|
|
|
if (!physid_isset(hard_smp_processor_id(), phys_cpu_present_map)) {
|
|
|
- printk(KERN_WARNING "weird, boot CPU (#%d) not listed"
|
|
|
- "by the BIOS.\n", hard_smp_processor_id());
|
|
|
+ printk(KERN_WARNING
|
|
|
+ "weird, boot CPU (#%d) not listed by the BIOS.\n",
|
|
|
+ hard_smp_processor_id());
|
|
|
+
|
|
|
physid_set(hard_smp_processor_id(), phys_cpu_present_map);
|
|
|
}
|
|
|
|