Use 64-bit page table entries on octeon

This (over-)compensates for the frame bit reduction related to the
TLB read inhibit support. However, the memory overhead of page tables
is increased.

OK miod@

diff --git a/sys/arch/octeon/conf/BOOT b/sys/arch/octeon/conf/BOOT
index feed3bc..9147b01 100644 (file)
--- a/sys/arch/octeon/conf/BOOT
+++ b/sys/arch/octeon/conf/BOOT
@@ -1,4 +1,4 @@
-#      $OpenBSD: BOOT,v 1.12 2022/08/25 16:10:15 miod Exp $
+#      $OpenBSD: BOOT,v 1.13 2023/01/11 03:28:42 visa Exp $
 
 machine                octeon mips64
 maxusers       4
@@ -18,6 +18,7 @@ option                FFS2
 option         CPU_MIPS64R2
 option         CPU_OCTEON
 option         FPUEMUL
+option         MIPS_PTE64
 makeoption     LINK_ADDRESS="0xffffffff82000000"
 
 config         bsd root on rd0a swap on rd0b

diff --git a/sys/arch/octeon/conf/GENERIC b/sys/arch/octeon/conf/GENERIC
index 279fd6d..e8cf89a 100644 (file)
--- a/sys/arch/octeon/conf/GENERIC
+++ b/sys/arch/octeon/conf/GENERIC
@@ -1,4 +1,4 @@
-#      $OpenBSD: GENERIC,v 1.60 2021/08/21 14:46:25 deraadt Exp $
+#      $OpenBSD: GENERIC,v 1.61 2023/01/11 03:28:42 visa Exp $
 #
 # For further information on compiling OpenBSD kernels, see the config(8)
 # man page.
@@ -16,6 +16,7 @@ maxusers      32
 option         CPU_MIPS64R2
 option         CPU_OCTEON
 option         FPUEMUL
+option         MIPS_PTE64
 makeoption     LINK_ADDRESS="0xffffffff81000000"
 
 option         PCIVERBOSE

diff --git a/sys/arch/octeon/conf/RAMDISK b/sys/arch/octeon/conf/RAMDISK
index bdee0bb..eb39b5f 100644 (file)
--- a/sys/arch/octeon/conf/RAMDISK
+++ b/sys/arch/octeon/conf/RAMDISK
@@ -1,4 +1,4 @@
-#      $OpenBSD: RAMDISK,v 1.46 2019/11/04 14:58:40 visa Exp $
+#      $OpenBSD: RAMDISK,v 1.47 2023/01/11 03:28:42 visa Exp $
 
 machine                octeon mips64
 maxusers       4
@@ -25,6 +25,7 @@ option                INET6
 option         CPU_MIPS64R2
 option         CPU_OCTEON
 option         FPUEMUL
+option         MIPS_PTE64
 makeoption     LINK_ADDRESS="0xffffffff81000000"
 
 config         bsd root on rd0a swap on rd0b