/* Get the peripheral clock speed for the SPI device at base specified.  */
uint32_t rcc_get_spi_clk_freq(uint32_t spi)
/* Get the peripheral clock speed for the SPI device at base specified.  */
uint32_t rcc_get_spi_clk_freq(uint32_t spi)
{
		return rcc_apb2_frequency;
	} else {
		return rcc_apb1_frequency;
	}
}