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

Implement get/setFlags on CapMem

Browse Source
This commit is contained in:
Peter Rugg
2020-05-11 14:08:04 +01:00
parent dd24b7672b
commit 3bb13f1c87
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

@@ -883,8 +883,15 @@ instance CHERICap #(CapMem, OTypeW, FlagsW, CapAddressW, CapW, TSub#(MW, 3));
capMem.isCapability = v;
return pack(capMem);
endfunction
function getFlags = error("getFlags not implemented for CapMem");
function setFlags = error("setFlags not implemented for CapMem");
function getFlags (x);
CapabilityInMemory capMem = unpack(x);
return capMem.flags;
endfunction
function setFlags (x, f);
CapabilityInMemory capMem = unpack(x);
capMem.flags = f;
return pack(capMem);
endfunction
function getHardPerms = error("getHardPerms not implemented for CapMem");
function setHardPerms = error("setHardPerms not implemented for CapMem");
function getSoftPerms = error("getSoftPerms not implemented for CapMem");