/* HDMI phy registers access and verificate through internal I2C bus.  */
static int hdmi_phy_i2c_write_verify(uint16_t data, uint8_t addr)
/* HDMI phy registers access and verificate through internal I2C bus.  */
static int hdmi_phy_i2c_write_verify(uint16_t data, uint8_t addr)
{
    unsigned short val = 0;
    hdmi_phy_i2c_write(data, addr);
    val = hdmi_phy_i2c_read(addr);
    if (val != data) {
        printf("I2C data verification failed at REG 0x%02x : 0x%04x vs 0x%04x\n", addr, data, val);
        return FALSE;
    }
    return TRUE;
}