Use the host value to emulate IA32_VMX_MISC MSR for L1 VMM.
For CR3-target value, we don't support this feature currently and
set the number to zero.
Signed-off-by: Dongxiao Xu <dongxiao.xu@intel.com>
Committed-by: Jan Beulich <jbeulich@suse.com>
data = 0x267ff & ~X86_CR4_SMXE;
break;
case MSR_IA32_VMX_MISC:
- gdprintk(XENLOG_WARNING, "VMX MSR %x not fully supported yet.\n", msr);
+ /* Do not support CR3-target feature now */
+ data = host_data & ~VMX_MISC_CR3_TARGET;
break;
default:
r = 0;
#define VMX_VPID_INVVPID_ALL_CONTEXT 0x40000000000ULL
#define VMX_VPID_INVVPID_SINGLE_CONTEXT_RETAINING_GLOBAL 0x80000000000ULL
+#define VMX_MISC_CR3_TARGET 0x1ff0000
+
#define cpu_has_wbinvd_exiting \
(vmx_secondary_exec_control & SECONDARY_EXEC_WBINVD_EXITING)
#define cpu_has_vmx_virtualize_apic_accesses \