Searched refs:ept_save_pdptrs (Results 1 – 3 of 3) sorted by relevance
326 void ept_save_pdptrs(struct kvm_vcpu *vcpu);
2228 ept_save_pdptrs(vcpu); in vmx_cache_reg()2961 void ept_save_pdptrs(struct kvm_vcpu *vcpu) in ept_save_pdptrs() function
4343 ept_save_pdptrs(vcpu); in nested_vmx_restore_host_state()
