|
@@ -2424,6 +2424,8 @@ static int vmx_vcpu_setup(struct vcpu_vmx *vmx)
|
|
|
|
|
|
vmcs_writel(CR0_GUEST_HOST_MASK, ~0UL);
|
|
vmcs_writel(CR0_GUEST_HOST_MASK, ~0UL);
|
|
vmx->vcpu.arch.cr4_guest_owned_bits = KVM_CR4_GUEST_OWNED_BITS;
|
|
vmx->vcpu.arch.cr4_guest_owned_bits = KVM_CR4_GUEST_OWNED_BITS;
|
|
|
|
+ if (enable_ept)
|
|
|
|
+ vmx->vcpu.arch.cr4_guest_owned_bits |= X86_CR4_PGE;
|
|
vmcs_writel(CR4_GUEST_HOST_MASK, ~vmx->vcpu.arch.cr4_guest_owned_bits);
|
|
vmcs_writel(CR4_GUEST_HOST_MASK, ~vmx->vcpu.arch.cr4_guest_owned_bits);
|
|
|
|
|
|
tsc_base = vmx->vcpu.kvm->arch.vm_init_tsc;
|
|
tsc_base = vmx->vcpu.kvm->arch.vm_init_tsc;
|