diff options
Diffstat (limited to 'cheri/sail_latexcc/sailccCapStruct.tex')
| -rw-r--r-- | cheri/sail_latexcc/sailccCapStruct.tex | 22 |
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) +} |