CTL_I2C_BUS_t *platform_i2c_bus(int index);
platform_i2c_bus returns the driver for the I2C bus index. If index does not correspond to a logical platform bus, platform_i2c_bus returns zero.