Added encodings for sealing instructions for isentries

CTSRD-CHERI · Jan 29, 2024 · 8ac6413 · 8ac6413
1 parent f388b68
commit 8ac6413
Showing 1 changed file with 38 additions and 0 deletions.
diff --git a/app-experimental.tex b/app-experimental.tex
@@ -1555,6 +1555,25 @@ \subsection{Encoding of isentry instructions}
 
 %TODO: incorporate into the framework of this repo
 
+\subsubsection{CPTPCCSeal}
+
+\subsubsection*{Format}
+
+CPTPCCSeal cs1
+
+\begin{center}
+\begin{bytefield}{32}
+    \bitheader[endianness=big]{0,6,7,11,12,14,15,19,20,24,25,31}\\
+
+    \bitbox{7}{0x7f}
+    \bitbox{5}{0x19}
+    \bitbox{5}{cs1}
+    \bitbox{3}{0x0}
+    \bitbox{5}{cd}
+    \bitbox{7}{0x5b}
+\end{bytefield}%
+\end{center}
+
 \subsubsection{CLIL}
 
 \subsubsection*{Format}
@@ -1593,6 +1612,25 @@ \subsubsection*{Format}
 \end{center}
 
 
+\subsubsection{CPTPairSeal}
+
+\subsubsection*{Format}
+
+CPTPairSeal cs1
+
+\begin{center}
+\begin{bytefield}{32}
+    \bitheader[endianness=big]{0,6,7,11,12,14,15,19,20,24,25,31}\\
+
+    \bitbox{7}{0x7f}
+    \bitbox{5}{0x1a}
+    \bitbox{5}{cs1}
+    \bitbox{3}{0x0}
+    \bitbox{5}{cd}
+    \bitbox{7}{0x5b}
+\end{bytefield}%
+\end{center}
+
 \subsubsection{CLILC}
 
 \subsubsection*{Format}