Searched refs:kvm_pdptr_write (Results 1 – 2 of 2) sorted by relevance
134 static inline void kvm_pdptr_write(struct kvm_vcpu *vcpu, int index, u64 value) in kvm_pdptr_write() function
11602 kvm_pdptr_write(vcpu, i, sregs2->pdptrs[i]); in __set_sregs2()