read_ds_uint16
reg16 = read_ds_uint16(ice, DS_DMA_INT_STATUS);
uint16 read_ds_uint16(ice1712 *ice, int8 regno);