commit 30c9a0367e439f1d0fafd452880b5f276332e5ca
author Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au> Tue Dec 04 12:50:11 2018 +1100
committer Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au> Wed Dec 05 10:39:39 2018 +1100
tree 3839f2d40f71e0170323d8f9f347c8eeb2ea3f17
parent e2e7a5556a1f6b21697b6882c1baae07c0de2f93

AA64: Hyp: The HYP kernel provides a 44-bit userspace vaddrspace range

This patch updates the address that seL4utils thinks is the maximum usable
userspace vaddr.

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 2c79840..929b3cc 100644
--- a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h
+++ b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h
@@ -12,7 +12,12 @@
 
 #pragma once
 
+#ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
+#define KERNEL_RESERVED_START 0x00000FFFFFFFF000
+#else
 #define KERNEL_RESERVED_START 0x00007ffffffff000
+#endif
+
 #define VSPACE_MAP_PAGING_OBJECTS 5
 
 #define VSPACE_LEVEL_BITS 9