Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 18:39:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

arm: move ASID PD slot

Browse Source 
Move the location of ASID PD slot to avoid clash with hardware device
memeory

Signed-off-by: Siwei Zhuang <siwei.zhuang@data61.csiro.au>
This commit is contained in:
Siwei Zhuang
2021-05-24 22:42:27 +10:00
committed by Gerwin Klein
parent ef7dbbfacb
commit 2d4f3b6db6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
include/arch/arm/arch/32/mode/kernel/vspace.h
View File

@@ -12,7 +12,7 @@
#include <object/structures.h>
/* PD slot reserved for storing the PD's allocated hardware ASID */
#define PD_ASID_SLOT (0xff000000 >> (PT_INDEX_BITS + PAGE_BITS))
#define PD_ASID_SLOT (0xfe000000 >> (PT_INDEX_BITS + PAGE_BITS))
enum pde_pte_tag {
ME_PDE,