# HG changeset patch # User Sheng Yang # Date 1253088151 -28800 # Node ID 607b7ad0488a9db6202e0a6178027684ac0eb027 # Parent 86c908c45ac908767b6b6bdbd9e8d863b34a84a8 Enable event channel feature in CPUID for configuration file diff --git a/xen/include/public/arch-x86/cpuid.h b/xen/include/public/arch-x86/cpuid.h --- a/xen/include/public/arch-x86/cpuid.h +++ b/xen/include/public/arch-x86/cpuid.h @@ -66,10 +66,12 @@ #define XEN_CPUID_FEAT1_MMU_PT_UPDATE_PRESERVE_AD (1u<<0) /* Mask unsupported CPUID specified by user */ -#define XEN_CPUID_FEAT2_MASK 0x3ul +#define XEN_CPUID_FEAT2_MASK 0x7ul #define _XEN_CPUID_FEAT2_HYBRID 0 #define XEN_CPUID_FEAT2_HYBRID (1u<<0) #define _XEN_CPUID_FEAT2_HYBRID_TIMER 1 #define XEN_CPUID_FEAT2_HYBRID_TIMER (1u<<1) +#define _XEN_CPUID_FEAT2_HYBRID_EVTCHN 2 +#define XEN_CPUID_FEAT2_HYBRID_EVTCHN (1u<<2) #endif /* __XEN_PUBLIC_ARCH_X86_CPUID_H__ */