aboutsummaryrefslogtreecommitdiff
path: root/src/machine.tex
diff options
context:
space:
mode:
Diffstat (limited to 'src/machine.tex')
-rw-r--r--src/machine.tex10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 8249a1a..96f8e2a 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -19,7 +19,7 @@ M-mode code can access all CSRs at lower privilege levels.
\subsection{Machine ISA Register {\tt misa}}
-The {\tt misa} register is an XLEN-bit \warl\ read-write register
+The {\tt misa} CSR is an XLEN-bit \warl\ read-write register
reporting the ISA supported by the hart. This register must be
readable in any implementation, but a value of zero can be returned to
indicate the {\tt misa} register has not been implemented, requiring
@@ -90,7 +90,7 @@ The ``G'' bit is used as an escape to allow expansion to a larger
space of standard extension names.
\begin{commentary}
G is used to indicate the combination IMAFD, so is redundant in the
-{\tt misa} register, hence we reserve the bit to indicate that
+{\tt misa} CSR, hence we reserve the bit to indicate that
additional standard extensions are present.
\end{commentary}
@@ -141,7 +141,7 @@ Bit & Character & Description \\
\begin{commentary}
-The {\tt misa} register exposes a rudimentary catalog of CPU features
+The {\tt misa} CSR exposes a rudimentary catalog of CPU features
to machine-mode code. More extensive information can be obtained in
machine mode by probing other machine registers, and examining other
ROM storage in the system as part of the boot process.
@@ -283,14 +283,14 @@ XLEN \\
The format of this field is left to the provider of the architecture
source code, but will be often be printed by standard tools as a
hexadecimal string without any leading or trailing zeros, so the
-Implementation value should be left-justified (i.e., filled in from
+Implementation value can be left-justified (i.e., filled in from
most-significant nibble down) with subfields aligned on nibble
boundaries to ease human readability.
\end{commentary}
\subsection{Hart ID Register {\tt mhartid}}
-The {\tt mhartid} register is an XLEN-bit read-only register
+The {\tt mhartid} CSR is an XLEN-bit read-only register
containing the integer ID of the hardware thread running the code.
This register must be readable in any implementation. Hart IDs might
not necessarily be numbered contiguously in a multiprocessor system,