Searched refs:ept_save_pdptrs (Results 1 – 2 of 2) sorted by relevance
362 void ept_save_pdptrs(struct kvm_vcpu *vcpu);
2653 ept_save_pdptrs(vcpu); in vmx_cache_reg()3416 void ept_save_pdptrs(struct kvm_vcpu *vcpu) in ept_save_pdptrs() function