Searched refs:__tdx_hypercall_failed (Results 1 – 4 of 4) sorted by relevance
84 * the TDX module. __tdx_hypercall_failed() never returns. in __tdx_hypercall() 87 __tdx_hypercall_failed(); in __tdx_hypercall()
46 noinstr void __noreturn __tdx_hypercall_failed(void) in __tdx_hypercall_failed() function
15 NORETURN(__tdx_hypercall_failed)
175 void __noreturn __tdx_hypercall_failed(void);