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);
36 void emif4_init(void);
38 void enable_gpmc_cs_config(const u32 *gpmc_config, struct gpmc_cs *cs, u32 base,
41 void watchdog_init(void);
42 void set_muxconf_regs(void);
44 u32 get_cpu_family(void);
45 u32 get_cpu_rev(void);
47 u32 get_mem_type(void);
48 u32 get_sysboot_value(void);
49 u32 is_gpmc_muxed(void);
50 u32 get_gpmc0_type(void);
51 u32 get_gpmc0_width(void);
52 u32 is_running_in_sdram(void);
53 u32 is_running_in_sram(void);
54 u32 is_running_in_flash(void);
55 u32 get_device_type(void);
56 void l2cache_enable(void);
57 void secureworld_exit(void);
58 void setup_auxcr(void);
59 void try_unlock_memory(void);
60 u32 get_boot_type(void);
61 void invalidate_dcache(u32);
62 void sr32(void *, u32, u32, u32);
63 u32 wait_on_value(u32, u32, void *, u32);
64 void sdelay(unsigned long);
65 void make_cs1_contiguous(void);
66 void omap_nand_switch_ecc(int);
67 void power_init_r(void);
68 void dieid_num_r(void);