copy_enlightened_to_vmcs12 3224 arch/x86/kvm/vmx/nested.c 		copy_enlightened_to_vmcs12(vmx);
copy_enlightened_to_vmcs12 5580 arch/x86/kvm/vmx/nested.c 			copy_enlightened_to_vmcs12(vmx);