2011-10-14 02:58:24 +00:00
|
|
|
/*
|
|
|
|
* sys_proto.h
|
|
|
|
*
|
|
|
|
* System information header
|
|
|
|
*
|
|
|
|
* Copyright (C) 2011, Texas Instruments, Incorporated - http://www.ti.com/
|
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or
|
|
|
|
* modify it under the terms of the GNU General Public License as
|
|
|
|
* published by the Free Software Foundation; either version 2 of
|
|
|
|
* the License, or (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR /PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef _SYS_PROTO_H_
|
|
|
|
#define _SYS_PROTO_H_
|
|
|
|
|
|
|
|
#define BOARD_REV_ID 0x0
|
|
|
|
|
|
|
|
u32 get_cpu_rev(void);
|
|
|
|
u32 get_sysboot_value(void);
|
|
|
|
|
|
|
|
#ifdef CONFIG_DISPLAY_CPUINFO
|
|
|
|
int print_cpuinfo(void);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
u32 get_device_type(void);
|
2012-01-09 20:38:59 +00:00
|
|
|
void setup_clocks_for_console(void);
|
2011-10-14 02:58:24 +00:00
|
|
|
#endif
|