diff --git a/src/supervisor.tex b/src/supervisor.tex index e578ddd3e..fca210f1d 100644 --- a/src/supervisor.tex +++ b/src/supervisor.tex @@ -1041,10 +1041,10 @@ \subsection{Supervisor Memory-Management Fence Instruction} Accesses to {\em global} mappings (see Section~\ref{sec:translation}) are not ordered. \item If {\em rs1}$\neq${\tt x0} and {\em rs2}={\tt x0}, the fence orders - only reads and writes made to the leaf page table entry corresponding + only reads and writes made to leaf page table entries corresponding to the virtual address in {\em rs1}, for all address spaces. \item If {\em rs1}$\neq${\tt x0} and {\em rs2}$\neq${\tt x0}, the fence - orders only reads and writes made to the leaf page table entry + orders only reads and writes made to leaf page table entries corresponding to the virtual address in {\em rs1}, for the address space identified by integer register {\em rs2}. Accesses to global mappings are not ordered.