Searched refs:__tdx_hypercall_failed (Results 1 – 4 of 4) sorted by relevance

/arch/x86/coco/tdx/
A D	tdx-shared.c	87 __tdx_hypercall_failed(); in __tdx_hypercall()
A D	tdx.c	46 noinstr void __noreturn __tdx_hypercall_failed(void) in __tdx_hypercall_failed() function
/arch/x86/boot/compressed/
A D	tdx.c	14 void __tdx_hypercall_failed(void) in __tdx_hypercall_failed() function
/arch/x86/include/asm/shared/
A D	tdx.h	175 void __noreturn __tdx_hypercall_failed(void);

Completed in 9 milliseconds

Last Index update Fri Aug 22 10:33:58 CST 2025