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

Fix off-by-one in max otype

Browse Source
This commit is contained in:
Peter Rugg
2020-01-07 11:24:17 +00:00
parent c2200f47cc
commit 796cf41c9b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
CHERICC_Fat.bsv
View File

@@ -153,7 +153,7 @@ typedef enum {Exp0, EmbeddedExp} Format deriving (Bits, Eq, FShow);
typedef UInt#(ExpW) Exp;
// Type for capability otype field
typedef VnD#(Bit#(OTypeW)) CType;
Bit#(OTypeW) otype_max = -4;
Bit#(OTypeW) otype_max = -5;
Bit#(OTypeW) otype_unsealed = -1;
Bit#(OTypeW) otype_sentry = -2;