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);