|
@@ -41,7 +41,7 @@ static inline u64 kvm_pdptr_read(struct kvm_vcpu *vcpu, int index)
|
|
|
|
|
|
if (!test_bit(VCPU_EXREG_PDPTR,
|
|
if (!test_bit(VCPU_EXREG_PDPTR,
|
|
(unsigned long *)&vcpu->arch.regs_avail))
|
|
(unsigned long *)&vcpu->arch.regs_avail))
|
|
- kvm_x86_ops->cache_reg(vcpu, VCPU_EXREG_PDPTR);
|
|
|
|
|
|
+ kvm_x86_ops->cache_reg(vcpu, (enum kvm_reg)VCPU_EXREG_PDPTR);
|
|
|
|
|
|
return vcpu->arch.walk_mmu->pdptrs[index];
|
|
return vcpu->arch.walk_mmu->pdptrs[index];
|
|
}
|
|
}
|