aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2022-07-16 23:03:33 -0700
committerAndrew Waterman <andrew@sifive.com>2022-07-16 23:03:33 -0700
commit838307830e50fc8cc45e4899ff62add178db0c1f (patch)
treec4fbb807fd4730574c3a93c171723fe81c9fe718
parent4ad2c5f83e5d9e26809dc14d5f26f81d3ed45769 (diff)
downloadriscv-isa-manual-838307830e50fc8cc45e4899ff62add178db0c1f.zip
riscv-isa-manual-838307830e50fc8cc45e4899ff62add178db0c1f.tar.gz
riscv-isa-manual-838307830e50fc8cc45e4899ff62add178db0c1f.tar.bz2
tweak wording
-rw-r--r--src/supervisor.tex7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/supervisor.tex b/src/supervisor.tex
index f7395c2..6502863 100644
--- a/src/supervisor.tex
+++ b/src/supervisor.tex
@@ -2432,9 +2432,10 @@ For non-leaf PTEs, bits 62--61 are reserved for future standard use. Until
their use is defined by a standard extension, they must be cleared by software
for forward compatibility, or else a page-fault exception is raised.
-For leaf PTEs, bits 62–-61 value=3 is reserved for future standard use. Until
-this value is defined by a standard extension, using this reserved value in a
-leaf PTE raises a page-fault exception.
+For leaf PTEs, setting bits 62–-61 to the value 3 is reserved for future
+standard use.
+Until this value is defined by a standard extension, using this reserved value
+in a leaf PTE raises a page-fault exception.
If the underlying physical memory attribute for a page is vacant, the PBMT settings do not override that.