/* Send a byte by writing in the TXDATA register.  */
void I2C_TxData(I2C_T *i2c, uint8_t data)
/* Send a byte by writing in the TXDATA register.  */
void I2C_TxData(I2C_T *i2c, uint8_t data)
{
    i2c->TXDATA = (uint32_t)data;
}