2
* (C) Copyright 2004-2008
3
* Texas Instruments, <www.ti.com>
4
* Richard Woodruff <r-woodruff2@ti.com>
6
* This program is free software; you can redistribute it and/or
7
* modify it under the terms of the GNU General Public License as
8
* published by the Free Software Foundation; either version 2 of
9
* the License, or (at your option) any later version.
11
* This program is distributed in the hope that it will be useful,
12
* but WITHOUT ANY WARRANTY; without even the implied warranty of
13
* MERCHANTABILITY or FITNESS FOR A PARTICULAR /PURPOSE. See the
14
* GNU General Public License for more details.
16
* You should have received a copy of the GNU General Public License
17
* along with this program; if not, write to the Free Software
18
* Foundation, Inc., 59 Temple Place, Suite 330, Boston,
31
void per_clocks_enable(void);
33
void memif_init(void);
35
void do_sdrc_init(u32, u32);
38
void watchdog_init(void);
39
void set_muxconf_regs(void);
41
u32 get_cpu_rev(void);
42
u32 get_mem_type(void);
43
u32 get_sysboot_value(void);
44
u32 is_gpmc_muxed(void);
45
u32 get_gpmc0_type(void);
46
u32 get_gpmc0_width(void);
47
u32 get_sdr_cs_size(u32);
48
u32 get_sdr_cs_offset(u32);
49
u32 is_running_in_sdram(void);
50
u32 is_running_in_sram(void);
51
u32 is_running_in_flash(void);
52
u32 get_device_type(void);
53
void l2cache_enable(void);
54
void secureworld_exit(void);
55
void setup_auxcr(void);
56
void try_unlock_memory(void);
57
u32 get_boot_type(void);
58
void v7_flush_dcache_all(u32);
59
void sr32(void *, u32, u32, u32);
60
u32 wait_on_value(u32, u32, void *, u32);
61
void sdelay(unsigned long);
62
void make_cs1_contiguous(void);
63
void omap_nand_switch_ecc(int);
64
void power_init_r(void);
65
void dieid_num_r(void);