|
@@ -2118,7 +2118,8 @@ static int vmx_vcpu_setup(struct vcpu_vmx *vmx)
|
|
|
}
|
|
|
if (!vm_need_ept())
|
|
|
exec_control |= CPU_BASED_CR3_STORE_EXITING |
|
|
|
- CPU_BASED_CR3_LOAD_EXITING;
|
|
|
+ CPU_BASED_CR3_LOAD_EXITING |
|
|
|
+ CPU_BASED_INVLPG_EXITING;
|
|
|
vmcs_write32(CPU_BASED_VM_EXEC_CONTROL, exec_control);
|
|
|
|
|
|
if (cpu_has_secondary_exec_ctrls()) {
|