write_ds_uint8
write_ds_uint8(ice, DS_CHANNEL_INDEX, ds8_channel_index);
void write_ds_uint8(ice1712 *ice, int8 regno, uint8 value);