commit 11e4ef23082e9e7eafb086d462b7de5630a7e810
author Anna Lyons <anna@gh.st> Mon Jul 22 10:11:02 2019 +1000
committer Kent Mcleod <Kent.Mcleod@data61.csiro.au> Thu Jul 25 10:47:31 2019 +1000
tree 1989fd2b82473a7a7f995008a11fa2a5f903e2da
parent 589686f18b54d40cb5f65656b861ea8b0c7e6480

vspace: definitions for 40-bit PA

Add VSPACE_NUM_LEVELS for 40-bit PA.

libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h

diff --git a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h
index b141084..f68d018 100644
--- a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h
+++ b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h
@@ -12,17 +12,24 @@
 
 #pragma once
 
+#include <autoconf.h>
+
+
 #ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
 
 #if defined(CONFIG_ARM_PA_SIZE_BITS_44)
 
 #define VSPACE_NUM_LEVELS       4
 
+#elif defined(CONFIG_ARM_PA_SIZE_BITS_40)
+
+#define VSPACE_NUM_LEVELS 3
+
 #else
 #error Unspecified PA size bits
 #endif
 
-#else
+#else /* CONFIG_ARM_HYPERVISOR_SUPPORT */
 
 #define VSPACE_NUM_LEVELS 4