From f2771c004c80043188c8747fcb8158e38aa2968e Mon Sep 17 00:00:00 2001
From: Adrian Danis <Adrian.Danis@nicta.com.au>
Date: Mon, 4 Apr 2016 11:45:53 +1000
Subject: [PATCH] libsel4: Define SEL4_MAPPING_LOOKUP_NO_PT for ARM_HYP

---
 libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/mapping.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/mapping.h b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/mapping.h
index a56834ea7..b6d378ecc 100644
--- a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/mapping.h
+++ b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/mapping.h
@@ -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()
 {