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

Add tag bit checks for fully unpacked capabilities

Browse Source
This commit is contained in:
Peter Rugg
2019-05-13 23:35:34 +01:00
parent 652f8335eb
commit a8974231eb
1 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
CHERICC_Fat.bsv
View File

@@ -848,8 +848,15 @@ typedef struct {
} CapPipe deriving (Bits, FShow);
instance CHERICap #(CapMem, OTypeW, FlagsW, CapAddressW);
function isValidCap = error("feature not implemented for this cap type");
function setValidCap = error("feature not implemented for this cap type");
function isValidCap (x);
CapabilityInMemory capMem = unpack(x);
return capMem.isCapability;
endfunction
function setValidCap (x, v);
CapabilityInMemory capMem = unpack(x);
capMem.isCapability = v;
return pack(capMem);
endfunction
function getFlags = error("feature not implemented for this cap type");
function setFlags = error("feature not implemented for this cap type");
function getHardPerms = error("feature not implemented for this cap type");