/* Return the current static memory controller clock frequency in units of 10kHz  */
unsigned int pxa3xx_get_memclk_frequency_10khz(void)
/* Return the current static memory controller clock frequency in units of 10kHz  */
unsigned int pxa3xx_get_memclk_frequency_10khz(void)
{
	unsigned long acsr;
	unsigned int smcfs, clk = 0;
	acsr = ACSR;
	smcfs = (acsr >> 23) & 0x7;
	clk = (acsr & ACCR_D0CS) ? RO_CLK : smcfs_mult[smcfs] * BASE_CLK;
	return (clk / 10000);
}