coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
mmu_operations.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __SOC_ROCKCHIP_RK3399_MMU_H__
4 #define __SOC_ROCKCHIP_RK3399_MMU_H__
5 
6 #include <arch/mmu.h>
7 
8 enum {
13 };
14 
15 #endif
#define MA_DEV
Definition: mmu.h:14
#define MA_MEM
Definition: mmu.h:13
#define MA_S
Definition: mmu.h:18
#define MA_NS
Definition: mmu.h:17
#define MA_MEM_NC
Definition: mmu.h:25
#define MA_RW
Definition: mmu.h:22
@ DEV_MEM
@ UNCACHED_MEM
@ CACHED_MEM
@ SECURE_MEM