get_shadow_vmcs12 668 arch/x86/kvm/vmx/nested.c shadow = get_shadow_vmcs12(vcpu); get_shadow_vmcs12 687 arch/x86/kvm/vmx/nested.c get_shadow_vmcs12(vcpu), VMCS12_SIZE); get_shadow_vmcs12 4608 arch/x86/kvm/vmx/nested.c struct vmcs12 *vmcs12 = is_guest_mode(vcpu) ? get_shadow_vmcs12(vcpu) get_shadow_vmcs12 4703 arch/x86/kvm/vmx/nested.c struct vmcs12 *vmcs12 = is_guest_mode(vcpu) ? get_shadow_vmcs12(vcpu) get_shadow_vmcs12 5598 arch/x86/kvm/vmx/nested.c get_shadow_vmcs12(vcpu), VMCS12_SIZE)) get_shadow_vmcs12 5739 arch/x86/kvm/vmx/nested.c struct vmcs12 *shadow_vmcs12 = get_shadow_vmcs12(vcpu);