Searched refs:__tdx_hypercall_failed (Results 1 - 5 of 5) sorted by relevance

/linux-master/tools/objtool/
H A Dnoreturns.h14 NORETURN(__tdx_hypercall_failed)
/linux-master/arch/x86/boot/compressed/
H A Dtdx.c14 void __tdx_hypercall_failed(void) function
/linux-master/arch/x86/coco/tdx/
H A Dtdx-shared.c84 * the TDX module. __tdx_hypercall_failed() never returns.
87 __tdx_hypercall_failed();
H A Dtdx.c42 noinstr void __noreturn __tdx_hypercall_failed(void) function
/linux-master/arch/x86/include/asm/shared/
H A Dtdx.h120 void __noreturn __tdx_hypercall_failed(void);

Completed in 134 milliseconds