From d959b703f637ce734b28c5e894a647d222bf7fdc Mon Sep 17 00:00:00 2001
From: Glauber de Oliveira Costa <gcosta@redhat.com>
Date: Wed, 19 Mar 2008 14:26:08 -0300
Subject: [PATCH] --- yaml --- r: 88853 b: refs/heads/master c:
 0df1ba8cabc6c2d613921c75e525826e6eb3210b h: refs/heads/master i:   88851:
 2ae215ae1c2aad98a2583008adc50f316e7237df v: v3

---
 [refs]                             | 2 +-
 trunk/arch/x86/kernel/smpboot_32.c | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/[refs] b/[refs]
index e9efaea4c72d..cabcdc8a0621 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1db17f553425ae679bc771d4796b7349f00cb1d9
+refs/heads/master: 0df1ba8cabc6c2d613921c75e525826e6eb3210b
diff --git a/trunk/arch/x86/kernel/smpboot_32.c b/trunk/arch/x86/kernel/smpboot_32.c
index 6be36d3eea4e..ae23b603978c 100644
--- a/trunk/arch/x86/kernel/smpboot_32.c
+++ b/trunk/arch/x86/kernel/smpboot_32.c
@@ -118,6 +118,12 @@ static void __init disable_smp(void)
 
 static int __init smp_sanity_check(unsigned max_cpus)
 {
+	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());
+		physid_set(hard_smp_processor_id(), phys_cpu_present_map);
+	}
+
 	/*
 	 * If we couldn't find an SMP configuration at boot time,
 	 * get out of here now!