x86: support newer Intel CPU models
authorJan Beulich <jbeulich@suse.com>
Thu, 4 Aug 2016 08:52:49 +0000 (10:52 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 4 Aug 2016 08:52:49 +0000 (10:52 +0200)
commit350bc1a9d4ebc03b18a43cdafcb626618caace55
tree09c39ce8605689a884eb320981c858aba19eca11
parent8ef5b6e11bb2df01a57975aafa21ddd97c98ef0d
x86: support newer Intel CPU models

... as per the June 2016 edition of the SDM.

Also remove a couple of dead break statements as well as unused
*MSR_PM_LASTBRANCH* #define-s.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Kevin Tian <kevin.tian@intel.com>
xen/arch/x86/acpi/cpu_idle.c
xen/arch/x86/hvm/vmx/vmx.c
xen/include/asm-x86/msr-index.h