Symbol: __tdx_hypercall_failed
arch/x86/coco/tdx/tdx-shared.c
87
__tdx_hypercall_failed();
arch/x86/include/asm/shared/tdx.h
175
void __noreturn __tdx_hypercall_failed(void);
tools/objtool/noreturns.h
15
NORETURN(__tdx_hypercall_failed)