Searched refs:__tdx_hypercall_failed (Results 1 – 5 of 5) sorted by relevance
87 __tdx_hypercall_failed(); in __tdx_hypercall()
47 noinstr void __noreturn __tdx_hypercall_failed(void) in __tdx_hypercall_failed() function
14 void __tdx_hypercall_failed(void) in __tdx_hypercall_failed() function
16 NORETURN(__tdx_hypercall_failed)
120 void __noreturn __tdx_hypercall_failed(void);