162d7fe7cSChandan Nath /* 262d7fe7cSChandan Nath * sys_proto.h 362d7fe7cSChandan Nath * 462d7fe7cSChandan Nath * System information header 562d7fe7cSChandan Nath * 662d7fe7cSChandan Nath * Copyright (C) 2011, Texas Instruments, Incorporated - http://www.ti.com/ 762d7fe7cSChandan Nath * 862d7fe7cSChandan Nath * This program is free software; you can redistribute it and/or 962d7fe7cSChandan Nath * modify it under the terms of the GNU General Public License as 1062d7fe7cSChandan Nath * published by the Free Software Foundation; either version 2 of 1162d7fe7cSChandan Nath * the License, or (at your option) any later version. 1262d7fe7cSChandan Nath * 1362d7fe7cSChandan Nath * This program is distributed in the hope that it will be useful, 1462d7fe7cSChandan Nath * but WITHOUT ANY WARRANTY; without even the implied warranty of 1562d7fe7cSChandan Nath * MERCHANTABILITY or FITNESS FOR A PARTICULAR /PURPOSE. See the 1662d7fe7cSChandan Nath * GNU General Public License for more details. 1762d7fe7cSChandan Nath */ 1862d7fe7cSChandan Nath 1962d7fe7cSChandan Nath #ifndef _SYS_PROTO_H_ 2062d7fe7cSChandan Nath #define _SYS_PROTO_H_ 2162d7fe7cSChandan Nath 2262d7fe7cSChandan Nath #define BOARD_REV_ID 0x0 2362d7fe7cSChandan Nath 2462d7fe7cSChandan Nath u32 get_cpu_rev(void); 2562d7fe7cSChandan Nath u32 get_sysboot_value(void); 2662d7fe7cSChandan Nath 2762d7fe7cSChandan Nath #ifdef CONFIG_DISPLAY_CPUINFO 2862d7fe7cSChandan Nath int print_cpuinfo(void); 2962d7fe7cSChandan Nath #endif 3062d7fe7cSChandan Nath 3162d7fe7cSChandan Nath u32 get_device_type(void); 32*8a8f084eSChandan Nath void setup_clocks_for_console(void); 3362d7fe7cSChandan Nath #endif 34