UCB1200_IO_DATA_REG
reg = txsibsf0_reg_read(tc, UCB1200_IO_DATA_REG);
txsibsf0_reg_write(tc, UCB1200_IO_DATA_REG, reg);
txreg_t reg = txsibsf0_reg_read(tc, UCB1200_IO_DATA_REG);
data = txsibsf0_reg_read(tc, UCB1200_IO_DATA_REG);
reg = TX39_SIBSF0_REGADDR_SET(0, UCB1200_IO_DATA_REG);
if ((TX39_SIBSF0_REGADDR(reg) != UCB1200_IO_DATA_REG) &&
reg = TX39_SIBSF0_REGADDR_SET(0, UCB1200_IO_DATA_REG);
if ((TX39_SIBSF0_REGADDR(reg) != UCB1200_IO_DATA_REG) &&