nested_sync_vmcs12_to_shadow   30 arch/x86/kvm/vmx/nested.h void nested_sync_vmcs12_to_shadow(struct kvm_vcpu *vcpu);
nested_sync_vmcs12_to_shadow 6504 arch/x86/kvm/vmx/vmx.c 		nested_sync_vmcs12_to_shadow(vcpu);