Searched refs:__tdx_hypercall_failed (Results 1 – 4 of 4) sorted by relevance
14 void __tdx_hypercall_failed(void) in __tdx_hypercall_failed() function
74 void __tdx_hypercall_failed(void);
211 call __tdx_hypercall_failed
41 noinstr void __tdx_hypercall_failed(void) in __tdx_hypercall_failed() function
