diff options
Diffstat (limited to 'cheri/sail_latex/sailfnsetCapPerms.tex')
| -rw-r--r-- | cheri/sail_latex/sailfnsetCapPerms.tex | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/cheri/sail_latex/sailfnsetCapPerms.tex b/cheri/sail_latex/sailfnsetCapPerms.tex deleted file mode 100644 index 1a1f67bd..00000000 --- a/cheri/sail_latex/sailfnsetCapPerms.tex +++ /dev/null @@ -1,16 +0,0 @@ -function #\hyperref[zsetCapPerms]{setCapPerms}#(cap, perms) : (CapStruct, #\hyperref[zbits]{bits}#(31)) -> CapStruct = - { cap with - uperms = perms[30..15], - /* perm_reserved11_14 = perms[14..11], XXX should allow to set? only affects cbuildcap. */ - access_system_regs = perms[10], - permit_unseal = perms[9], - permit_ccall = perms[8], - permit_seal = perms[7], - permit_store_local_cap = perms[6], - permit_store_cap = perms[5], - permit_load_cap = perms[4], - permit_store = perms[3], - permit_load = perms[2], - permit_execute = perms[1], - global = perms[0] - } |