out_cached_vmcs12 4386 arch/x86/kvm/vmx/nested.c 		goto out_cached_vmcs12;
out_cached_vmcs12 4417 arch/x86/kvm/vmx/nested.c out_cached_vmcs12: