KVM: VMX: Mark VCPU_EXREG_PDPTR available in ept_save_pdptrs()
authorLai Jiangshan <laijs@linux.alibaba.com>
Mon, 8 Nov 2021 12:43:54 +0000 (20:43 +0800)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 8 Dec 2021 09:24:59 +0000 (04:24 -0500)
commitc0d6956e43054e397f4f661d0a62d490278ddef9
treeb000a4f020e894f19d15a095ac2b6290a7f6911d
parent2c5653caecc4807b8abfe9c41880ac38417be7bf
KVM: VMX: Mark VCPU_EXREG_PDPTR available in ept_save_pdptrs()

mmu->pdptrs[] and vmcs.GUEST_PDPTR[0-3] are synced, so mmu->pdptrs is
available and GUEST_PDPTR[0-3] is not dirty.

Signed-off-by: Lai Jiangshan <laijs@linux.alibaba.com>
Message-Id: <20211108124407.12187-3-jiangshanlai@gmail.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
arch/x86/kvm/vmx/vmx.c