2 * This file is part of the coreboot project.
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License version 2 and
7 * only version 2 as published by the Free Software Foundation.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
17 #include <arch/cache.h>
19 #include <soc/mmu_common.h>
20 #include <soc/symbols.h>
22 void sdm845_mmu_init(void)
26 mmu_config_range((void *)(4 * KiB
), ((4UL * GiB
) - (4 * KiB
)), DEV_MEM
);
27 mmu_config_range((void *)_ssram
, REGION_SIZE(ssram
), CACHED_RAM
);
28 mmu_config_range((void *)_bsram
, REGION_SIZE(bsram
), CACHED_RAM
);
29 mmu_config_range((void *)_dma_coherent
, REGION_SIZE(dma_coherent
),
35 void soc_mmu_dram_config_post_dram_init(void)
37 mmu_config_range((void *)_aop
, REGION_SIZE(aop
), CACHED_RAM
);