out_cached_shadow_vmcs12 4390 arch/x86/kvm/vmx/nested.c goto out_cached_shadow_vmcs12; out_cached_shadow_vmcs12 4414 arch/x86/kvm/vmx/nested.c out_cached_shadow_vmcs12: