File 23803-intel-pmu-models.patch of Package xen.854

References: bnc#715655

# HG changeset patch
# User Dietmar Hahn <dietmar.hahn@ts.fujitsu.com>
# Date 1314800265 -3600
# Node ID 51983821efa4db4040ae1c5063a4404791597699
# Parent  bb9b810087337479d8de834d4f19fed4bc3e2dbc
vpmu: Add processors Westmere E7-8837 and SandyBridge i5-2500 to the vpmu list

Signed-off-by: Dietmar Hahn <dietmar.hahn@ts.fujitsu.com>

Index: xen-4.0.3-testing/xen/arch/x86/hvm/vmx/vpmu.c
===================================================================
--- xen-4.0.3-testing.orig/xen/arch/x86/hvm/vmx/vpmu.c
+++ xen-4.0.3-testing/xen/arch/x86/hvm/vmx/vpmu.c
@@ -96,7 +96,9 @@ void vpmu_initialise(struct vcpu *v)
         case 23:
         case 26:
         case 29:
+        case 42:
         case 46:
+        case 47:
             vpmu->arch_vpmu_ops = &core2_vpmu_ops;
             break;
         }