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
|
|
|
|
|
2012-08-09 18:29:57 +00:00
|
|
|
extern struct ctrl_stat *cstat;
|
2011-10-14 02:58:24 +00:00
|
|
|
u32 get_device_type(void);
|
2012-01-09 20:38:59 +00:00
|
|
|
void setup_clocks_for_console(void);
|
2012-07-03 16:20:06 +00:00
|
|
|
void ddr_pll_config(unsigned int ddrpll_M);
|
2012-07-31 17:50:01 +00:00
|
|
|
|
2012-11-06 13:06:30 +00:00
|
|
|
void sdelay(unsigned long);
|
2013-03-14 11:15:25 +00:00
|
|
|
|
|
|
|
struct gpmc_cs;
|
2012-11-06 13:06:30 +00:00
|
|
|
void gpmc_init(void);
|
2013-02-18 01:26:29 +00:00
|
|
|
void enable_gpmc_cs_config(const u32 *gpmc_config, struct gpmc_cs *cs, u32 base,
|
|
|
|
u32 size);
|
2013-04-04 23:52:50 +00:00
|
|
|
void omap_nand_switch_ecc(uint32_t, uint32_t);
|
2011-10-14 02:58:24 +00:00
|
|
|
#endif
|