copy_shadow_to_vmcs12 3228 arch/x86/kvm/vmx/nested.c 		copy_shadow_to_vmcs12(vmx);
copy_shadow_to_vmcs12 4509 arch/x86/kvm/vmx/nested.c 		copy_shadow_to_vmcs12(vmx);
copy_shadow_to_vmcs12 5582 arch/x86/kvm/vmx/nested.c 			copy_shadow_to_vmcs12(vmx);