|
@@ -45,6 +45,13 @@ static inline u64 kvm_pdptr_read(struct kvm_vcpu *vcpu, int index)
|
|
|
return vcpu->arch.walk_mmu->pdptrs[index];
|
|
|
}
|
|
|
|
|
|
+static inline u64 kvm_pdptr_read_mmu(struct kvm_vcpu *vcpu, struct kvm_mmu *mmu, int index)
|
|
|
+{
|
|
|
+ load_pdptrs(vcpu, mmu, mmu->get_cr3(vcpu));
|
|
|
+
|
|
|
+ return mmu->pdptrs[index];
|
|
|
+}
|
|
|
+
|
|
|
static inline ulong kvm_read_cr0_bits(struct kvm_vcpu *vcpu, ulong mask)
|
|
|
{
|
|
|
ulong tmask = mask & KVM_POSSIBLE_CR0_GUEST_BITS;
|