Symbol: __tdx_hypercall