/* Get the clock frequency as reflected by CCCR and the turbo flag. We assume these values have been applied via a fcs. If info is not 0 we also display the current settings.  */
unsigned int get_clk_frequency_khz(int info)
/* Get the clock frequency as reflected by CCCR and the turbo flag. We assume these values have been applied via a fcs. If info is not 0 we also display the current settings.  */
unsigned int get_clk_frequency_khz(int info)
{
	if (cpu_is_pxa25x())
		return pxa25x_get_clk_frequency_khz(info);
	else if (cpu_is_pxa27x())
		return pxa27x_get_clk_frequency_khz(info);
	else
		return pxa3xx_get_clk_frequency_khz(info);
}