Check in snapshot of cheri latex

1 files changed, 22 insertions, 0 deletions

diff --git a/cheri/sail_latexcc/sailccCapStruct.tex b/cheri/sail_latexcc/sailccCapStruct.tex
new file mode 100644
index 00000000..b1df7ec5
--- /dev/null
+++ b/cheri/sail_latexcc/sailccCapStruct.tex
@@ -0,0 +1,22 @@
+struct CapStruct = {
+  tag                    : bool    ,
+  uperms                 : #\hyperref[zbits]{bits}#(4) ,
+  access_system_regs     : bool    ,
+  permit_unseal          : bool    ,
+  permit_ccall           : bool    ,
+  permit_seal            : bool    ,
+  permit_store_local_cap : bool    ,
+  permit_store_cap       : bool    ,
+  permit_load_cap        : bool    ,
+  permit_store           : bool    ,
+  permit_load            : bool    ,
+  permit_execute         : bool    ,
+  global                 : bool    ,
+  reserved               : #\hyperref[zbits]{bits}#(2) ,
+  E                      : #\hyperref[zbits]{bits}#(6) ,
+  sealed                 : bool    ,
+  B                      : #\hyperref[zbits]{bits}#(20),
+  T                      : #\hyperref[zbits]{bits}#(20),
+  otype                  : #\hyperref[zbits]{bits}#(24),
+  address                : #\hyperref[zbits]{bits}#(64)
+}