Searched refs:copy_vmcs02_to_vmcs12_rare (Results 1 – 1 of 1) sorted by relevance
4260 static void copy_vmcs02_to_vmcs12_rare(struct kvm_vcpu *vcpu, in copy_vmcs02_to_vmcs12_rare() function5191 copy_vmcs02_to_vmcs12_rare(vcpu, get_vmcs12(vcpu)); in nested_release_vmcs12()5320 copy_vmcs02_to_vmcs12_rare(vcpu, vmcs12); in handle_vmread()5456 copy_vmcs02_to_vmcs12_rare(vcpu, vmcs12); in handle_vmwrite()6430 copy_vmcs02_to_vmcs12_rare(vcpu, get_vmcs12(vcpu)); in vmx_get_nested_state()