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

Fix hardcoded 64

Browse Source
This commit is contained in:
Peter Rugg
2020-04-02 15:17:24 +01:00
parent 5c138fe263
commit 4b08d61aa2
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
CHERICC_Fat.bsv
View File

@@ -1224,9 +1224,9 @@ instance Cast#(function CapReg f0(t x), function CapPipe f1(t y));
endfunction
endinstance
instance Cast#(function CapPipe f0(t y), function Bit#(64) f1(t x));
instance Cast#(function CapPipe f0(t y), function Bit#(CapAddressW) f1(t x));
function cast(f0);
function Bit#(64) f1(t arg) = getAddr(f0(arg));
function Bit#(CapAddressW) f1(t arg) = getAddr(f0(arg));
return f1;
endfunction
endinstance