/* get_board_rev() - setup to pass kernel board revision information Returns: bit Maximum cpu clock rate supported by onboard SoC 0000b - 300 MHz 0001b - 372 MHz 0010b - 408 MHz 0011b - 456 MHz  */
u32 get_board_rev(void)
/* get_board_rev() - setup to pass kernel board revision information Returns: bit Maximum cpu clock rate supported by onboard SoC 0000b - 300 MHz 0001b - 372 MHz 0010b - 408 MHz 0011b - 456 MHz  */
u32 get_board_rev(void)
{
	char *s;
	u32 maxcpuclk = CONFIG_DA850_EVM_MAX_CPU_CLK;
	u32 rev = 0;
	s = env_get("maxcpuclk");
	if (s)
		maxcpuclk = simple_strtoul(s, NULL, 10);
	if (maxcpuclk >= 456000000)
		rev = 3;
	else if (maxcpuclk >= 408000000)
		rev = 2;
	else if (maxcpuclk >= 372000000)
		rev = 1;
	return rev;
}