5 #include <soc/addressmap.h>
6 #include <soc/mmu_operations.h>
void print_carveouts(void)
static const size_t tz_size_mib
static uintptr_t tz_base_mib
void memory_in_range_above_4gb(uintptr_t *base_mib, uintptr_t *end_mib)
void carveout_range(int id, uintptr_t *base_mib, size_t *size_mib)
void memory_in_range_below_4gb(uintptr_t *base_mib, uintptr_t *end_mib)
void mmu_config_range(u32 start_mb, u32 size_mb, enum dcache_policy policy)
#define assert(statement)
#define REGION_SIZE(name)
void tegra210_mmu_init(void)
static void tegra210_mmu_config(void)
@ TEGRA_ARM_LOWEST_PERIPH