__tdx_hypercall
if (__tdx_hypercall(&args))
__tdx_hypercall(&args);
__tdx_hypercall(&args);
return __tdx_hypercall(&args);
if (__tdx_hypercall(&args))
if (__tdx_hypercall(&args))
if (__tdx_hypercall(&args))
if (__tdx_hypercall(&args))
return __tdx_hypercall(&args);
success = !__tdx_hypercall(&args);
u64 ret = __tdx_hypercall(&args);
u64 ret = __tdx_hypercall(&args);
u64 ret = __tdx_hypercall(&args);
(void)__tdx_hypercall(&args);
u64 __tdx_hypercall(struct tdx_module_args *args);
return __tdx_hypercall(&args);
__tdx_hypercall(&args);