Add typeclass function for getting combined permissions

2019-03-19 17:45:18 +00:00
parent f3c9f5972a
commit af71c8e8ce
1 changed files with 3 additions and 0 deletions
--- a/CHERICap.bsv
+++ b/CHERICap.bsv
@@ -96,6 +96,9 @@ typeclass CHERICap#(type t, numeric type ot, numeric type n)
  // Get the architectural permissions
  function Bit#(31) getPerms (t cap) =
    zeroExtend({pack(getSoftPerms(cap)), 4'h0, pack(getHardPerms(cap))});
+  // Set the architectural permissions
+  function t setPerms (t cap, Bit#(31) perms) =
+    setSoftPerms(setHardPerms(cap, unpack(perms[11:0])), unpack(truncate(perms[30:15])));

  // Get the kind of the capability, i.e. whether it is sealed, sentry, unsealed, ...
  function Kind getKind (t cap);