/* Get the peripheral clock speed for the I2C device at base specified.  */
uint32_t rcc_get_i2c_clk_freq(uint32_t i2c __attribute__((unused)))
/* Get the peripheral clock speed for the I2C device at base specified.  */
uint32_t rcc_get_i2c_clk_freq(uint32_t i2c __attribute__((unused)))
{
	return rcc_apb1_frequency;
}
/**@}