write_ds_uint16
write_ds_uint16(ice, DS_DMA_INT_STATUS, reg16);
void write_ds_uint16(ice1712 *ice, int8 regno, uint16 value);