Symbol: i2c_dev_disc_t