diff options
-rw-r--r-- | arch/x86/kvm/vmx.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/arch/x86/kvm/vmx.c b/arch/x86/kvm/vmx.c index 1f1da43ff2a2..48735936860c 100644 --- a/arch/x86/kvm/vmx.c +++ b/arch/x86/kvm/vmx.c | |||
@@ -7766,6 +7766,10 @@ static void prepare_vmcs02(struct kvm_vcpu *vcpu, struct vmcs12 *vmcs12) | |||
7766 | vmcs_write64(GUEST_PDPTR1, vmcs12->guest_pdptr1); | 7766 | vmcs_write64(GUEST_PDPTR1, vmcs12->guest_pdptr1); |
7767 | vmcs_write64(GUEST_PDPTR2, vmcs12->guest_pdptr2); | 7767 | vmcs_write64(GUEST_PDPTR2, vmcs12->guest_pdptr2); |
7768 | vmcs_write64(GUEST_PDPTR3, vmcs12->guest_pdptr3); | 7768 | vmcs_write64(GUEST_PDPTR3, vmcs12->guest_pdptr3); |
7769 | __clear_bit(VCPU_EXREG_PDPTR, | ||
7770 | (unsigned long *)&vcpu->arch.regs_avail); | ||
7771 | __clear_bit(VCPU_EXREG_PDPTR, | ||
7772 | (unsigned long *)&vcpu->arch.regs_dirty); | ||
7769 | } | 7773 | } |
7770 | 7774 | ||
7771 | kvm_register_write(vcpu, VCPU_REGS_RSP, vmcs12->guest_rsp); | 7775 | kvm_register_write(vcpu, VCPU_REGS_RSP, vmcs12->guest_rsp); |