tsciic_read_byte
sc->sc_i2c_tag.ic_read_byte = tsciic_read_byte;
int tsciic_read_byte(void *, uint8_t *, int);