x86/VMX: fix VMCS setting for x2APIC mode guest while enabling APICV
authorJiongxi Li <jiongxi.li@intel.com>
Mon, 18 Feb 2013 08:34:18 +0000 (09:34 +0100)
committerJiongxi Li <jiongxi.li@intel.com>
Mon, 18 Feb 2013 08:34:18 +0000 (09:34 +0100)
commit825ea023c1fe1c466a5c134cc65e4c95e0874b48
tree4b8cd3011ad928574a96016f6d87a4a58892036e
parentdb2ba9286c7171680661e1a6be0e185c38e71b35
x86/VMX: fix VMCS setting for x2APIC mode guest while enabling APICV

The "APIC-register virtualization" and "virtual-interrupt deliver"
VM-execution control has no effect on the behavior of RDMSR/WRMSR if
the "virtualize x2APIC mode" VM-execution control is 0.
When guest uses x2APIC mode, we should enable "virtualize x2APIC mode"
for APICV first.

Signed-off-by: Jiongxi Li <jiongxi.li@intel.com>
Acked-by: Eddie Dong <eddie.dong@intel.com>
Acked-by: Jun Nakajima <jun.nakajima@intel.com>
Committed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/hvm/vmx/vmcs.c
xen/arch/x86/hvm/vmx/vmx.c
xen/include/asm-x86/hvm/vmx/vmcs.h
xen/include/asm-x86/msr-index.h