3 #include <arch/cache.h>
5 #include <soc/addressmap.h>
void dcache_mmu_enable(void)
void mmu_config_range(u32 start_mb, u32 size_mb, enum dcache_policy policy)
void mmu_config_range_kb(u32 start_kb, u32 size_kb, enum dcache_policy policy)
void bootblock_soc_init(void)
#define REGION_SIZE(name)
void rkclk_configure_crypto(unsigned int hz)