Symbol: tdx_sys_info_features