4 * System information header
6 * Copyright (C) 2011, Texas Instruments, Incorporated - http://www.ti.com/
8 * SPDX-License-Identifier: GPL-2.0+
13 #include <asm/arch/cpu.h>
15 #define BOARD_REV_ID 0x0
17 u32 get_cpu_rev(void);
18 u32 get_sysboot_value(void);
20 #ifdef CONFIG_DISPLAY_CPUINFO
21 int print_cpuinfo(void);
24 extern struct ctrl_stat *cstat;
25 u32 get_device_type(void);
26 void save_omap_boot_params(void);
27 void setup_clocks_for_console(void);
28 void mpu_pll_config_val(int mpull_m);
29 void ddr_pll_config(unsigned int ddrpll_M);
31 void sdelay(unsigned long);
35 void enable_gpmc_cs_config(const u32 *gpmc_config, struct gpmc_cs *cs, u32 base,
37 void omap_nand_switch_ecc(uint32_t, uint32_t);
39 void set_uart_mux_conf(void);
40 void set_mux_conf_regs(void);
41 void sdram_init(void);
42 u32 wait_on_value(u32, u32, void *, u32);
43 #ifdef CONFIG_NOR_BOOT
44 void enable_norboot_pin_mux(void);
46 void am33xx_spl_board_init(void);
47 int am335x_get_efuse_mpu_max_freq(struct ctrl_dev *cdev);
48 int am335x_get_tps65910_mpu_vdd(int sil_rev, int frequency);