diff options
-rw-r--r-- | arch/x86/kvm/vmx.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/x86/kvm/vmx.c b/arch/x86/kvm/vmx.c index 755811a564b3..a7ebaa5f2b65 100644 --- a/arch/x86/kvm/vmx.c +++ b/arch/x86/kvm/vmx.c | |||
@@ -2424,6 +2424,8 @@ static int vmx_vcpu_setup(struct vcpu_vmx *vmx) | |||
2424 | 2424 | ||
2425 | vmcs_writel(CR0_GUEST_HOST_MASK, ~0UL); | 2425 | vmcs_writel(CR0_GUEST_HOST_MASK, ~0UL); |
2426 | vmx->vcpu.arch.cr4_guest_owned_bits = KVM_CR4_GUEST_OWNED_BITS; | 2426 | vmx->vcpu.arch.cr4_guest_owned_bits = KVM_CR4_GUEST_OWNED_BITS; |
2427 | if (enable_ept) | ||
2428 | vmx->vcpu.arch.cr4_guest_owned_bits |= X86_CR4_PGE; | ||
2427 | vmcs_writel(CR4_GUEST_HOST_MASK, ~vmx->vcpu.arch.cr4_guest_owned_bits); | 2429 | vmcs_writel(CR4_GUEST_HOST_MASK, ~vmx->vcpu.arch.cr4_guest_owned_bits); |
2428 | 2430 | ||
2429 | tsc_base = vmx->vcpu.kvm->arch.vm_init_tsc; | 2431 | tsc_base = vmx->vcpu.kvm->arch.vm_init_tsc; |