4 * System information header
6 * Copyright (C) 2011, Texas Instruments, Incorporated - http://www.ti.com/
8 * This program is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU General Public License as
10 * published by the Free Software Foundation; either version 2 of
11 * the License, or (at your option) any later version.
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR /PURPOSE. See the
16 * GNU General Public License for more details.
22 #define BOARD_REV_ID 0x0
24 u32 get_cpu_rev(void);
25 u32 get_sysboot_value(void);
27 #ifdef CONFIG_DISPLAY_CPUINFO
28 int print_cpuinfo(void);
31 extern struct ctrl_stat *cstat;
32 u32 get_device_type(void);
33 void setup_clocks_for_console(void);
34 void ddr_pll_config(unsigned int ddrpll_M);