|
@@ -8283,8 +8283,7 @@ static void load_vmcs12_host_state(struct kvm_vcpu *vcpu,
|
|
vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);
|
|
vcpu->arch.cr4_guest_owned_bits = ~vmcs_readl(CR4_GUEST_HOST_MASK);
|
|
kvm_set_cr4(vcpu, vmcs12->host_cr4);
|
|
kvm_set_cr4(vcpu, vmcs12->host_cr4);
|
|
|
|
|
|
- if (nested_cpu_has_ept(vmcs12))
|
|
|
|
- nested_ept_uninit_mmu_context(vcpu);
|
|
|
|
|
|
+ nested_ept_uninit_mmu_context(vcpu);
|
|
|
|
|
|
kvm_set_cr3(vcpu, vmcs12->host_cr3);
|
|
kvm_set_cr3(vcpu, vmcs12->host_cr3);
|
|
kvm_mmu_reset_context(vcpu);
|
|
kvm_mmu_reset_context(vcpu);
|