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

Remove reserved field from HPerms

Browse Source
This commit is contained in:
Peter Rugg
2019-05-25 14:29:58 +01:00
parent 4d4001af8d
commit 124c4bbd6b
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
CHERICC_Fat.bsv
View File

@@ -102,7 +102,6 @@ typedef Bit#(CBoundsW) CBounds;
typedef Bit#(CapAddressW) CapAddress;
// The Hardware permissions type
typedef struct {
Bool reserved;
Bool permit_set_CID;
Bool acces_sys_regs;
Bool permit_unseal;
@@ -946,7 +945,6 @@ instance CHERICap #(CapPipe, OTypeW, FlagsW, CapAddressW, CapW);
function CapPipe setHardPerms (CapPipe cap, HardPerms perms);
cap.capFat.perms.hard = HPerms {
reserved: ?,
permit_set_CID: perms.permitSetCID,
acces_sys_regs: perms.accessSysRegs,
permit_unseal: perms.permitUnseal,