Symbol: tdx_failed_vmentry
arch/x86/kvm/vmx/tdx.c
1115
if (unlikely(tdx_failed_vmentry(vcpu)))
arch/x86/kvm/vmx/tdx.c
2001
if (unlikely(tdx_failed_vmentry(vcpu))) {