Symbol: sync_vmcs02_to_vmcs12
arch/x86/kvm/vmx/nested.c
5096
sync_vmcs02_to_vmcs12(vcpu, vmcs12);
arch/x86/kvm/vmx/nested.c
6811
sync_vmcs02_to_vmcs12(vcpu, vmcs12);