# HG changeset patch
# User iap10@tetris.cl.cam.ac.uk
# Date 1114041905 0
# Node ID 9e4daf2e49d20fe4987a857addbb9bec44ec5249
# Parent  717d7dbd06eaff53eac3ef05f1856043b55ca304
bitkeeper revision 1.1347 (4266ee31uFDz7ZMst_Cy-vYbXJ2EZw)


__vmxon() is called twice for the boot cpu, because identify_cpu() is called
twice. This patch ensures that identify_cpu() and hence __vmxon() is called
exactly once for the boot CPU on SMP.

Signed-off-by: Anil S Keshavamurthy <anil.s.keshavamurthy@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
Signed-off-by: ian@xensource.com




diff -r 717d7dbd06ea -r 9e4daf2e49d2 xen/arch/x86/smpboot.c
--- a/xen/arch/x86/smpboot.c	Wed Apr 20 21:22:46 2005 +0000
+++ b/xen/arch/x86/smpboot.c	Thu Apr 21 00:05:05 2005 +0000
@@ -115,7 +115,8 @@ void __init smp_alloc_memory(void)
 void __init smp_store_cpu_info(int id)
 {
     cpu_data[id] = boot_cpu_data;
-    identify_cpu(&cpu_data[id]);
+    if (id != 0)
+        identify_cpu(&cpu_data[id]);
 }
 
 /*