We actually support 39-bit VA's in userland.

ok patrick@, jsg@

diff --git a/sys/arch/arm64/include/vmparam.h b/sys/arch/arm64/include/vmparam.h
index 9a3c2d3..a94501b 100644 (file)
--- a/sys/arch/arm64/include/vmparam.h
+++ b/sys/arch/arm64/include/vmparam.h
@@ -1,4 +1,4 @@
-/*     $OpenBSD: vmparam.h,v 1.5 2018/05/16 09:07:45 kettenis Exp $    */
+/*     $OpenBSD: vmparam.h,v 1.6 2018/09/11 12:41:30 kettenis Exp $    */
 /*     $NetBSD: vmparam.h,v 1.1 2003/04/26 18:39:49 fvdl Exp $ */
 
 /*-
@@ -89,7 +89,7 @@
 
 /* user/kernel map constants */
 #define        VM_MIN_ADDRESS          ((vaddr_t)PAGE_SIZE)
-#define        USER_SPACE_BITS         38
+#define        USER_SPACE_BITS         39
 #define        VM_MAXUSER_ADDRESS      ((1ULL << USER_SPACE_BITS) - 0x8000)
 #define        VM_MAX_ADDRESS          VM_MAXUSER_ADDRESS
 #define        VM_MIN_KERNEL_ADDRESS   ((vaddr_t)0xffffff8000000000ULL)