diff options
| author | gfavor <47677210+gfavor@users.noreply.github.com> | 2020-09-01 22:38:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-01 22:38:40 -0700 |
| commit | a1eab4cbb0f30cdafd77e3d540b3c38851d78b02 (patch) | |
| tree | d9aa2be823f2c3951a49b1a5ce0c8421debc1b93 /src/machine.tex | |
| parent | c1599335d98b49af6bc8e6612041897282f8a43b (diff) | |
| download | riscv-isa-manual-a1eab4cbb0f30cdafd77e3d540b3c38851d78b02.zip riscv-isa-manual-a1eab4cbb0f30cdafd77e3d540b3c38851d78b02.tar.gz riscv-isa-manual-a1eab4cbb0f30cdafd77e3d540b3c38851d78b02.tar.bz2 | |
PMP changes don't need an sfence only when page-based virtual memory is not implemented (#568)
Diffstat (limited to 'src/machine.tex')
| -rw-r--r-- | src/machine.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/machine.tex b/src/machine.tex index 2f4cf7c..62dd866 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -3444,5 +3444,5 @@ synchronize the PMP settings with the virtual memory system. This is accomplished by executing an SFENCE.VMA instruction with {\em rs1}={\tt x0} and {\em rs2}={\tt x0}, after the PMP CSRs are written. -If page-based virtual memory is not implemented, or when it is disabled, +If page-based virtual memory is not implemented, memory accesses check the PMP settings synchronously, so no fence is needed. |