/* Return the current memory clock frequency in units of 10kHz  */
unsigned int pxa25x_get_memclk_frequency_10khz(void)
/* Return the current memory clock frequency in units of 10kHz  */
unsigned int pxa25x_get_memclk_frequency_10khz(void)
{
	return L_clk_mult[(CCCR >> 0) & 0x1f] * BASE_CLK / 10000;
}