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 |