coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
mmu.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <symbols.h>
4 #include <arch/mmu.h>
5 #include <arch/cache.h>
6 #include <soc/mmu.h>
7 #include <soc/symbols.h>
8 
9 void qcs405_mmu_init(void)
10 {
11  mmu_init();
12 
13  mmu_config_range((void *)(4 * KiB), ((4UL * GiB) - (4 * KiB)),
14  MA_DEV | MA_S | MA_RW);
15  mmu_config_range((void *)_ssram, REGION_SIZE(ssram), MA_MEM | MA_S | MA_RW);
16  mmu_config_range((void *)_bsram, REGION_SIZE(bsram), MA_MEM | MA_S | MA_RW);
17 
18  mmu_enable();
19 }
void mmu_enable(void)
Definition: mmu.c:293
#define MA_DEV
Definition: mmu.h:14
#define MA_MEM
Definition: mmu.h:13
#define MA_S
Definition: mmu.h:18
#define MA_RW
Definition: mmu.h:22
void mmu_config_range(u32 start_mb, u32 size_mb, enum dcache_policy policy)
Definition: mmu.c:221
void mmu_init(void)
Definition: mmu.c:242
#define KiB
Definition: helpers.h:75
#define GiB
Definition: helpers.h:77
#define REGION_SIZE(name)
Definition: symbols.h:10
void qcs405_mmu_init(void)
Definition: mmu.c:9