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() function 373 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()