/* Get the peripheral clock speed for the I2C device at base specified.  */
uint32_t rcc_get_i2c_clk_freq(uint32_t i2c)
/* Get the peripheral clock speed for the I2C device at base specified.  */
uint32_t rcc_get_i2c_clk_freq(uint32_t i2c)
{
	if (i2c == I2C1_BASE) {
		return rcc_get_clksel_freq(RCC_CCIPR_I2C1SEL_SHIFT);
	} else if (i2c == I2C2_BASE) {
		return rcc_get_clksel_freq(RCC_CCIPR_I2C2SEL_SHIFT);
	}
	cm3_assert_not_reached();
}