1 /* This file is part of the coreboot project. */
2 /* SPDX-License-Identifier: GPL-2.0-only */
6 #include <arch/cache.h>
8 #include <soc/mmu_common.h>
9 #include <soc/symbols.h>
11 void sc7180_mmu_init(void)
15 mmu_config_range((void *)(4 * KiB
), ((4UL * GiB
) - (4 * KiB
)), DEV_MEM
);
16 mmu_config_range((void *)_ssram
, REGION_SIZE(ssram
), CACHED_RAM
);
17 mmu_config_range((void *)_bsram
, REGION_SIZE(bsram
), CACHED_RAM
);
18 mmu_config_range((void *)_dma_coherent
, REGION_SIZE(dma_coherent
),
24 void soc_mmu_dram_config_post_dram_init(void)
26 mmu_config_range((void *)_aop
, REGION_SIZE(aop
), CACHED_RAM
);