Searched refs:nested_put_vmcs12_pages (Results 1 – 1 of 1) sorted by relevance
323 static void nested_put_vmcs12_pages(struct kvm_vcpu *vcpu) in nested_put_vmcs12_pages() function373 nested_put_vmcs12_pages(vcpu); in free_nested()3778 nested_put_vmcs12_pages(vcpu); in nested_vmx_enter_non_root_mode()5181 nested_put_vmcs12_pages(vcpu); in __nested_vmx_vmexit()