References: bnc#655438

# HG changeset patch
# User Keir Fraser <keir@xen.org>
# Date 1290173202 0
# Node ID b7ed352fa6100104374000cdbd845bbfc6478f08
# Parent  437576a0f2026ded6dcc4b11558714dad1d1d042
VPMU: Add the Intel CPU X7542 to the list of supported prcocessors

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

--- a/xen/arch/x86/hvm/vmx/vpmu.c
+++ b/xen/arch/x86/hvm/vmx/vpmu.c
@@ -96,6 +96,7 @@ void vpmu_initialise(struct vcpu *v)
         case 23:
         case 26:
         case 29:
+        case 46:
             vpmu->arch_vpmu_ops = &core2_vpmu_ops;
             break;
         }