/* Return the current LCD clock frequency in units of 10kHz as  */
static unsigned int pxa27x_get_lcdclk_frequency_10khz(void)
/* Return the current LCD clock frequency in units of 10kHz as  */
static unsigned int pxa27x_get_lcdclk_frequency_10khz(void)
{
	unsigned long ccsr;
	unsigned int l, L, k, K;
	ccsr = CCSR;
	l = ccsr & 0x1f;
	k = (l <= 7) ? 1 : (l <= 16) ? 2 : 4;
	L = l * BASE_CLK;
	K = L / k;
	return (K / 10000);
}