Cheri-research/cheri-cap-lib
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Added get/setFlags to CC_Fat and to the typeclass

Browse Source
This commit is contained in:
Alexandre Joannou
2019-04-30 17:30:26 +01:00
parent 3546becbd3
commit 5a35cc6f2e
2 changed files with 42 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
CHERICap.bsv
View File

@@ -78,14 +78,19 @@ typedef enum {
SEALED_WITH_TYPE
} Kind deriving (Eq, FShow);
typeclass CHERICap#(type t, numeric type ot, numeric type n)
dependencies (t determines (ot, n));
typeclass CHERICap#(type t, numeric type ot, numeric type flg, numeric type n)
dependencies (t determines (ot, flg, n));
// Return whether the Capability is valid
function Bool isValidCap (t cap);
// Set the capability as valid. All fields left unchanged
function t setValidCap (t cap, Bool valid);
// Get the flags field
function Bit#(flg) getFlags (t cap);
// Set the flags field
function t setFlags (t cap, Bit#(flg) flags);
// Get the hardware permissions
function HardPerms getHardPerms (t cap);
// Set the hardware permissions
@@ -156,7 +161,7 @@ typeclass CHERICap#(type t, numeric type ot, numeric type n)
endtypeclass
function Fmt showCHERICap(t cap) provisos (CHERICap#(t, ot, n));
function Fmt showCHERICap(t cap) provisos (CHERICap#(t, ot, flg, n));
return $format( "Valid: 0x%0x", isValidCap(cap)) +
$format(" Perms: 0x%0x", getPerms(cap)) +
$format(" Kind: ", fshow(getKind(cap))) +