Set LG_VADDR to 48 on RISC-V.

The Sv48 PTE format is the largest currently defined address space for
RISC-V. It makes no sense to define a larger size and doing so (at
least for 64-bits) forces rtrees down a slow path.

Reviewed by:	vangyzen, jhb, mhorne
Obtained from:	CheriBSD
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D24658
This commit is contained in:
Brooks Davis 2020-05-04 17:16:30 +00:00
parent af5b6f81db
commit ea69bf7f5d
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=360635
2 changed files with 2 additions and 2 deletions

View file

@ -233,7 +233,7 @@ index 00000000..b752b0e7
+# define LG_SIZEOF_PTR 2
+#endif
+#ifdef __riscv
+# define LG_VADDR 64
+# define LG_VADDR 48
+# define LG_SIZEOF_PTR 3
+#endif
+

View file

@ -68,7 +68,7 @@
# define LG_SIZEOF_PTR 2
#endif
#ifdef __riscv
# define LG_VADDR 64
# define LG_VADDR 48
# define LG_SIZEOF_PTR 3
#endif