copy_vmcs02_to_vmcs12_rare 4504 arch/x86/kvm/vmx/nested.c 	copy_vmcs02_to_vmcs12_rare(vcpu, get_vmcs12(vcpu));
copy_vmcs02_to_vmcs12_rare 4634 arch/x86/kvm/vmx/nested.c 		copy_vmcs02_to_vmcs12_rare(vcpu, vmcs12);
copy_vmcs02_to_vmcs12_rare 4755 arch/x86/kvm/vmx/nested.c 		copy_vmcs02_to_vmcs12_rare(vcpu, vmcs12);