From 0debed82888984325c2d70a3001088a172271f6f Mon Sep 17 00:00:00 2001
From: John Baldwin <jhb@FreeBSD.org>
Date: Tue, 11 Jul 2023 10:43:12 -0700
Subject: [PATCH] chap-architecture: Add CGet{High,Top} to the list of
 capability instructions.

---
 chap-architecture.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/chap-architecture.tex b/chap-architecture.tex
index 5c269b6d..2fdc6e15 100644
--- 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