Module cheri_perms

Constants

• ACCESS_SYS
• CINVOKE
• DEFAULT_R
• DEFAULT_RW
• DEFAULT_RWX
• DEFAULT_RX
• EXECUTE
• GLOBAL
• LOAD
• LOAD_CAP
• SEAL
• SET_CID
• STORE
• STORE_CAP
• STORE_CAP_LOCAL
• UNSEAL