/* Return the current memory clock frequency in units of 10kHz  */
unsigned int get_memclk_frequency_10khz(void)
/* Return the current memory clock frequency in units of 10kHz  */
unsigned int get_memclk_frequency_10khz(void)
{
	if (cpu_is_pxa25x())
		return pxa25x_get_memclk_frequency_10khz();
	else if (cpu_is_pxa27x())
		return pxa27x_get_memclk_frequency_10khz();
	else
		return pxa3xx_get_memclk_frequency_10khz();
}