sync_vmcs02_to_vmcs12_rare 3645 arch/x86/kvm/vmx/nested.c 	sync_vmcs02_to_vmcs12_rare(vcpu, vmcs12);
sync_vmcs02_to_vmcs12_rare 3663 arch/x86/kvm/vmx/nested.c 		sync_vmcs02_to_vmcs12_rare(vcpu, vmcs12);
sync_vmcs02_to_vmcs12_rare 5577 arch/x86/kvm/vmx/nested.c 		sync_vmcs02_to_vmcs12_rare(vcpu, vmcs12);