write_ds_uint32
write_ds_uint32(ice, DS_CHANNEL_DATA, data);
void write_ds_uint32(ice1712 *ice, int8 regno, uint32 value);