diff options
| author | Robert Norton | 2018-03-02 14:55:05 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-02 14:55:05 +0000 |
| commit | d5c5286ebaad7d47e028fd961792d49b74eacd1f (patch) | |
| tree | b70d7c996f8cb72ce37c20feb52d56491b23d609 /cheri | |
| parent | aad9ce3bda23efbab03595868bda7fc6dc3e03bf (diff) | |
remove workaround for #8 now that it is fixed.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude_common.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail index fb3f456e..02a6d408 100644 --- a/cheri/cheri_prelude_common.sail +++ b/cheri/cheri_prelude_common.sail @@ -385,7 +385,7 @@ function init_cp2_state () = { PCC = defaultBits; nextPCC = defaultBits; delayedPCC = defaultBits; - foreach(i from 0 to 32) { + foreach(i from 0 to 31) { let idx = to_bits(5, i) in writeCapReg(idx, default_cap); } @@ -418,7 +418,7 @@ function capToString cap = function dump_cp2_state () = { print(concat_str("DEBUG CAP PCC", capToString(capRegToCapStruct(PCC)))); - foreach(i from 0 to 32) { + foreach(i from 0 to 31) { print(concat_str("DEBUG CAP REG ", concat_str(string_of_int(i), capToString(readCapReg(to_bits(5, i)))))) } }
\ No newline at end of file |