1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <soc/addressmap.h>
9 void soc_mmu_init(void)
11 const unsigned long devmem
= MA_DEV
| MA_S
| MA_RW
;
12 const unsigned long secure_mem
= MA_MEM
| MA_S
| MA_RW
;
17 * Need to use secure mem attribute, as firmware is running in ARM TZ
20 mmu_config_range((void *)_ttb
, REGION_SIZE(ttb
), secure_mem
);
21 mmu_config_range((void *)_dram
, sdram_size_mb() * MiB
, secure_mem
);
22 /* IO space has the MSB set and is divided into 4 sub-regions:
28 mmu_config_range((void *)IO_SPACE_START
, IO_SPACE_SIZE
, devmem
);