diff options
| -rw-r--r-- | src/supervisor.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/supervisor.tex b/src/supervisor.tex index fb83897..0a8f12c 100644 --- a/src/supervisor.tex +++ b/src/supervisor.tex @@ -1208,7 +1208,7 @@ Two schemes to manage the A and D bits are permitted: The PTE update is not required to be atomic with respect to the explicit memory access that caused the update, and the sequence is interruptible. However, the hart must not perform the explicit memory access before the - PTE update. + PTE update is globally visible. \end{itemize} All harts in a system must employ the same PTE-update scheme as each other. |