We need to set the dirty bit whenever we add write permission
authorkettenis <kettenis@openbsd.org>
Sun, 2 May 2021 19:43:16 +0000 (19:43 +0000)
committerkettenis <kettenis@openbsd.org>
Sun, 2 May 2021 19:43:16 +0000 (19:43 +0000)
commita6b5a205979752e86e795d0fd9762929592f9d4f
tree564d313de31987f63c929ce59e2376384dff9d23
parent7c4c543f9f403bc09d39792219345a41a9c32095
We need to set the dirty bit whenever we add write permission
otherwise a write will still fault on hardware that doesn't implement
hardware updates for these bits.

ok drahn@
sys/arch/riscv64/riscv64/pmap.c