aboutsummaryrefslogtreecommitdiff
path: root/src/supervisor.tex
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2021-11-29 15:10:29 -0800
committerAndrew Waterman <andrew@sifive.com>2021-11-29 15:10:29 -0800
commit682593e84284ece836a4fea0a226264b77292d72 (patch)
tree9379adf3c9558cd4ca520e57a535516fc4b3c0a7 /src/supervisor.tex
parent3c5352654cb5740c52e1402bd3ff518b153d3ce5 (diff)
downloadriscv-isa-manual-682593e84284ece836a4fea0a226264b77292d72.zip
riscv-isa-manual-682593e84284ece836a4fea0a226264b77292d72.tar.gz
riscv-isa-manual-682593e84284ece836a4fea0a226264b77292d72.tar.bz2
Remark that Svnapot and Svpbmt require Sv39
Resolves #785
Diffstat (limited to 'src/supervisor.tex')
-rw-r--r--src/supervisor.tex4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/supervisor.tex b/src/supervisor.tex
index 0e98d4a..f72b982 100644
--- a/src/supervisor.tex
+++ b/src/supervisor.tex
@@ -2277,6 +2277,8 @@ translations with the same values for PTE bits 5--0. Such ranges must be of a
naturally aligned power-of-2 (NAPOT) granularity larger than the base page
size.
+The Svnapot extension depends on Sv39.
+
\begin{table*}[h!]
\begin{center}
\begin{tabular}{|c|c||l|c|}
@@ -2401,6 +2403,8 @@ In Sv39, Sv48, and Sv57, bits 62--61 of a leaf page table entry indicate the use
of page-based memory types that override the PMA(s) for the associated memory
pages. The encoding for the PBMT bits is captured in Table~\ref{pbmt}.
+The Svpbmt extension depends on Sv39.
+
\begin{table*}[h!]
\begin{center}
\begin{tabular}{|c|c|l|}