portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

libsel4: Define SEL4_MAPPING_LOOKUP_NO_PT for ARM_HYP

Browse source
This commit is contained in:
Adrian Danis 2016-04-04 11:45:53 +10:00
parent 6932e6a725
commit f2771c004c
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/mapping.h
View file

@ -12,7 +12,12 @@
#define __LIBSEL4_SEL4_ARCH_MAPPING
#define SEL4_MAPPING_LOOKUP_LEVEL 2
#ifdef ARM_HYP
#define SEL4_MAPPING_LOOKUP_NO_PT 21
#else
#define SEL4_MAPPING_LOOKUP_NO_PT 20
#endif
static inline seL4_Word seL4_MappingFailedLookupLevel()
{