/* Set I2C frequency. 
In addition to Standard (100kHz) and Fast (400kHz) modes this peripheral also supports 250kHz mode. */
void i2c_set_frequency(uint32_t i2c, uint32_t freq)
/* Set I2C frequency. 
In addition to Standard (100kHz) and Fast (400kHz) modes this peripheral also supports 250kHz mode. */
void i2c_set_frequency(uint32_t i2c, uint32_t freq)
{
    I2C_FREQUENCY(i2c) = freq;
}