Searched refs:sync_vmcs02_to_vmcs12 (Results 1 – 1 of 1) sorted by relevance
4015 static void sync_vmcs02_to_vmcs12(struct kvm_vcpu *vcpu, struct vmcs12 *vmcs12) in sync_vmcs02_to_vmcs12() function4440 sync_vmcs02_to_vmcs12(vcpu, vmcs12); in nested_vmx_vmexit()6050 sync_vmcs02_to_vmcs12(vcpu, vmcs12); in vmx_get_nested_state()
