read_ds_uint32
return read_ds_uint32(ice, DS_CHANNEL_DATA);
uint32 read_ds_uint32(ice1712 *ice, int8 regno);