diff options
Diffstat (limited to 'cheri/sail_latex/sailfngetCapPerms.tex')
| -rw-r--r-- | cheri/sail_latex/sailfngetCapPerms.tex | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/cheri/sail_latex/sailfngetCapPerms.tex b/cheri/sail_latex/sailfngetCapPerms.tex deleted file mode 100644 index 932930ae..00000000 --- a/cheri/sail_latex/sailfngetCapPerms.tex +++ /dev/null @@ -1,16 +0,0 @@ -function #\hyperref[zgetCapPerms]{getCapPerms}#(cap) : CapStruct -> #\hyperref[zbits]{bits}#(31) = - ( - cap.uperms - @ cap.perm_reserved11_14 - @ cap.access_system_regs - @ cap.permit_unseal - @ cap.permit_ccall - @ cap.permit_seal - @ cap.permit_store_local_cap - @ cap.permit_store_cap - @ cap.permit_load_cap - @ cap.permit_store - @ cap.permit_load - @ cap.permit_execute - @ cap.global - ) |