From 8ac64131b2042d0649c1c377c1c5431eb74c45bd Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Mon, 29 Jan 2024 15:52:47 +0000
Subject: [PATCH] Added encodings for sealing instructions for isentries

---
 app-experimental.tex | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)

diff --git a/app-experimental.tex b/app-experimental.tex
index ee798a74..e45f9d54 100644
--- 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}