# HG changeset patch
# User Dietmr Hahn <dietmar.hahn@xxxxxxxxxxxxxx>
# Date 1289902959 -3600
# Node ID 8902695abe3412e642c3700855e6788981128313
# Parent  87f248de52304bc96a80dc093250fed0197f37e0
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;