sync_vmcs02_to_vmcs12 4091 arch/x86/kvm/vmx/nested.c 		sync_vmcs02_to_vmcs12(vcpu, vmcs12);
sync_vmcs02_to_vmcs12 5576 arch/x86/kvm/vmx/nested.c 		sync_vmcs02_to_vmcs12(vcpu, vmcs12);