diff options
author | Andrew Waterman <andrew@sifive.com> | 2017-05-15 23:29:09 -0500 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2017-05-15 23:29:09 -0500 |
commit | 586465cf000a715fed1e4d7ff76943872ec7d73a (patch) | |
tree | 337d72fb73f477ac3e81c75d553fa21fd7dfab06 /src/supervisor.tex | |
parent | 2d12caabaf2bed535adbd0607efab59114d89947 (diff) | |
download | riscv-isa-manual-586465cf000a715fed1e4d7ff76943872ec7d73a.zip riscv-isa-manual-586465cf000a715fed1e4d7ff76943872ec7d73a.tar.gz riscv-isa-manual-586465cf000a715fed1e4d7ff76943872ec7d73a.tar.bz2 |
Fix some orphaned/widowed commentary sections
Diffstat (limited to 'src/supervisor.tex')
-rw-r--r-- | src/supervisor.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/supervisor.tex b/src/supervisor.tex index b3f0307..26073cc 100644 --- a/src/supervisor.tex +++ b/src/supervisor.tex @@ -746,13 +746,13 @@ values Sv39 and Sv48.} \label{rv64satp} \end{figure} -\begin{commentary} +\begin{samepage-commentary} We store the ASID and the page table base address in the same CSR to allow the pair to be changed atomically on a context switch. Swapping them non-atomically could pollute the old virtual address space with new translations, or vice-versa. This approach also slightly reduces the cost of a context switch. -\end{commentary} +\end{samepage-commentary} Table~\ref{tab:satp-mode} shows the encodings of the MODE field for RV32 and RV64. When MODE=Bare, supervisor virtual addresses are equal to |