Use 64-bit page table entries on octeon
authorvisa <visa@openbsd.org>
Wed, 11 Jan 2023 03:28:42 +0000 (03:28 +0000)
committervisa <visa@openbsd.org>
Wed, 11 Jan 2023 03:28:42 +0000 (03:28 +0000)
commitca3117be6ee9c678ad23fa1a1191880eae0722fb
tree777a1a3b48b1b79857dce3d747c31d509a3a9a2a
parent57919513a9903ed0525a8ae0708665fd5ee570e3
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@
sys/arch/octeon/conf/BOOT
sys/arch/octeon/conf/GENERIC
sys/arch/octeon/conf/RAMDISK