diff options
Diffstat (limited to 'cheri/sail_latexcc/sailccCapStruct.tex')
| -rw-r--r-- | cheri/sail_latexcc/sailccCapStruct.tex | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/cheri/sail_latexcc/sailccCapStruct.tex b/cheri/sail_latexcc/sailccCapStruct.tex deleted file mode 100644 index b1df7ec5..00000000 --- a/cheri/sail_latexcc/sailccCapStruct.tex +++ /dev/null @@ -1,22 +0,0 @@ -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) -} |