Searched refs:ept_save_pdptrs (Results 1 – 3 of 3) sorted by relevance
318 void ept_save_pdptrs(struct kvm_vcpu *vcpu); in vmx_get_exit_reason()
2653 ept_save_pdptrs(vcpu); in vmx_cache_reg() 3426 void ept_save_pdptrs(struct kvm_vcpu *vcpu) in ept_save_pdptrs() 3416 void ept_save_pdptrs(struct kvm_vcpu *vcpu) ept_save_pdptrs() function
5006 * Use ept_save_pdptrs(vcpu) to load the MMU's cached PDPTRs in nested_vmx_restore_host_state() 5012 ept_save_pdptrs(vcpu); in nested_vmx_restore_host_state()