| 
 Print a message if there is no vpmu support for this Intel cpu. 
Signed-off-by: Dietmar Hahn <dietmar.hahn@xxxxxxxxxxxxxx> 
diff -r 87f248de5230 -r 8902695abe34 xen/arch/x86/hvm/vpmu.c 
--- a/xen/arch/x86/hvm/vpmu.c   Mon Nov 15 09:31:38 2010 +0000 
+++ b/xen/arch/x86/hvm/vpmu.c   Tue Nov 16 11:22:39 2010 +0100 
@@ -115,6 +115,7 @@ 
  
         case X86_VENDOR_INTEL: 
         { 
+            int supported = 1; 
             if ( family == 6 ) 
             { 
                 switch ( cpu_model ) 
@@ -125,8 +126,20 @@ 
                 case 29: 
                     vpmu->arch_vpmu_ops = &core2_vpmu_ops; 
                     break; 
+                default: 
+                    supported = 0; 
                 } 
             } 
+            else 
+                supported = 0; 
+ 
+            if ( !supported ) 
+            { 
+                printk("VMPU: Initialization failed. " 
+                       "Intel processor family %d model %d has not " 
+                       "been supported\n", family, cpu_model); 
+                return; 
+            } 
         } 
         break; 
  
--  
Company details: http://ts.fujitsu.com/imprint.html  |