Searched refs:sync_vmcs02_to_vmcs12_rare (Results 1 – 1 of 1) sorted by relevance
4254 static void sync_vmcs02_to_vmcs12_rare(struct kvm_vcpu *vcpu, in sync_vmcs02_to_vmcs12_rare() function4315 sync_vmcs02_to_vmcs12_rare(vcpu, vmcs12); in copy_vmcs02_to_vmcs12_rare()4333 sync_vmcs02_to_vmcs12_rare(vcpu, vmcs12); in sync_vmcs02_to_vmcs12()6490 sync_vmcs02_to_vmcs12_rare(vcpu, vmcs12); in vmx_get_nested_state()
