3 #include <arch/cache.h>
4 #include <arch/exception.h>
9 #include <soc/addressmap.h>
11 #include <soc/clk_rst.h>
12 #include <soc/clock.h>
13 #include <soc/display.h>
17 #include <soc/power.h>
18 #include <soc/sdram.h>
24 static void __attribute__((noinline))
romstage(
void)
37 u32 dram_size_mb = dram_end_mb - dram_start_mb;
53 if (dram_end_mb < 4096)
80 asm volatile (
"bl arm_init_caches"
81 :::
"r0",
"r1",
"r2",
"r3",
"r4",
"r5",
"ip");
void dcache_mmu_enable(void)
void mmu_config_range(u32 start_mb, u32 size_mb, enum dcache_policy policy)
void mmu_disable_range(u32 start_mb, u32 size_mb)
void exception_init(void)
const struct sdram_info * get_sdram_config(void)
#define DIV_ROUND_UP(x, y)
void cbmem_initialize_empty(void)
#define printk(level,...)
int dma_coherent(void *ptr)
__noreturn void board_reset(void)
#define REGION_SIZE(name)
void timestamp_add_now(enum timestamp_id id)
void timestamp_init(uint64_t base)
#define BIOS_INFO
BIOS_INFO - Expected events.
static void romstage(void)
int power_reset_status(void)
uintptr_t sdram_max_addressable_mb(void)
void early_mainboard_init(void)
void configure_l2_cache(void)