chap-architecture: Add CGet{High,Top} to the list of capability instr…

…uctions.
CTSRD-CHERI · Jul 12, 2023 · 0debed8 · 0debed8
1 parent c96aedd
commit 0debed8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/chap-architecture.tex b/chap-architecture.tex
@@ -1601,9 +1601,9 @@ \section{Capability-Aware Instructions}
 \item[Retrieve capability fields]
 These instructions extract specific capability-register fields and move their
 values into general-purpose (integer) registers:
-\insnref{CGetBase}, \insnref{CGetFlags}, \insnref{CGetLen},
+\insnref{CGetBase}, \insnref{CGetFlags}, \insnref{CGetHigh}, \insnref{CGetLen},
 \insnref{CGetOffset}, \insnref{CGetPerm}, \insnref{CGetSealed},
-\insnref{CGetTag}, and \insnref{CGetType}.
+\insnref{CGetTag}, \insnref{CGetTop}, and \insnref{CGetType}.
 
 \item[Capability move]
 This instruction moves a capability from one register to another without