2011-10-14 11:58:24 +09:00
|
|
|
/*
|
|
|
|
* sys_proto.h
|
|
|
|
*
|
|
|
|
* System information header
|
|
|
|
*
|
|
|
|
* Copyright (C) 2011, Texas Instruments, Incorporated - http://www.ti.com/
|
|
|
|
*
|
2013-07-08 16:37:19 +09:00
|
|
|
* SPDX-License-Identifier: GPL-2.0+
|
2011-10-14 11:58:24 +09:00
|
|
|
*/
|
|
|
|
|
|
|
|
#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-10 03:29:57 +09:00
|
|
|
extern struct ctrl_stat *cstat;
|
2011-10-14 11:58:24 +09:00
|
|
|
u32 get_device_type(void);
|
2013-06-01 01:31:59 +09:00
|
|
|
void save_omap_boot_params(void);
|
2012-01-10 05:38:59 +09:00
|
|
|
void setup_clocks_for_console(void);
|
2013-06-04 18:01:06 +09:00
|
|
|
void mpu_pll_config_val(int mpull_m);
|
2012-07-04 01:20:06 +09:00
|
|
|
void ddr_pll_config(unsigned int ddrpll_M);
|
2012-08-01 02:50:01 +09:00
|
|
|
|
2012-11-06 22:06:30 +09:00
|
|
|
void sdelay(unsigned long);
|
2013-03-14 20:15:25 +09:00
|
|
|
|
|
|
|
struct gpmc_cs;
|
2012-11-06 22:06:30 +09:00
|
|
|
void gpmc_init(void);
|
2013-02-18 10:26:29 +09:00
|
|
|
void enable_gpmc_cs_config(const u32 *gpmc_config, struct gpmc_cs *cs, u32 base,
|
|
|
|
u32 size);
|
2013-04-05 08:52:50 +09:00
|
|
|
void omap_nand_switch_ecc(uint32_t, uint32_t);
|
2013-06-05 14:47:56 +09:00
|
|
|
|
|
|
|
void rtc32k_enable(void);
|
2013-06-04 18:00:57 +09:00
|
|
|
void uart_soft_reset(void);
|
2011-10-14 11:58:24 +09:00
|
|
|
#endif
|