|
@@ -2399,13 +2399,13 @@ static __init void nested_vmx_setup_ctls_msrs(void)
|
|
|
nested_vmx_secondary_ctls_low = 0;
|
|
|
nested_vmx_secondary_ctls_high &=
|
|
|
SECONDARY_EXEC_VIRTUALIZE_APIC_ACCESSES |
|
|
|
- SECONDARY_EXEC_UNRESTRICTED_GUEST |
|
|
|
SECONDARY_EXEC_WBINVD_EXITING |
|
|
|
SECONDARY_EXEC_XSAVES;
|
|
|
|
|
|
if (enable_ept) {
|
|
|
/* nested EPT: emulate EPT also to L1 */
|
|
|
- nested_vmx_secondary_ctls_high |= SECONDARY_EXEC_ENABLE_EPT;
|
|
|
+ nested_vmx_secondary_ctls_high |= SECONDARY_EXEC_ENABLE_EPT |
|
|
|
+ SECONDARY_EXEC_UNRESTRICTED_GUEST;
|
|
|
nested_vmx_ept_caps = VMX_EPT_PAGE_WALK_4_BIT |
|
|
|
VMX_EPTP_WB_BIT | VMX_EPT_2MB_PAGE_BIT |
|
|
|
VMX_EPT_INVEPT_BIT;
|