diff options
| author | Robert Norton | 2018-06-04 13:03:27 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-04 13:03:27 +0100 |
| commit | d0ea5d012a050ad2ca0bd19b5e3def0d596ed2b3 (patch) | |
| tree | 78b09f98f6e42f6d9bc13702d53f26bfa9bf1d97 | |
| parent | 8745f6b56fe3c523a8730baed1fc1f7cc54b377b (diff) | |
| parent | 7ecae9d9b9cfea4f379b21ddc794a6a618516a89 (diff) | |
Merge branch 'patch-1' of https://github.com/arichardson/sail into arichardson-patch-1
| -rw-r--r-- | cheri/cheri_prelude_common.sail | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail index 47c8759c..8a2211c2 100644 --- a/cheri/cheri_prelude_common.sail +++ b/cheri/cheri_prelude_common.sail @@ -457,4 +457,15 @@ function dump_cp2_state () = { foreach(i from 0 to 31) { print(concat_str("DEBUG CAP REG ", concat_str(string_of_int(i), capToString(readCapReg(to_bits(5, i)))))) } + print(concat_str("DEBUG CAP HWREG 00", capToString(capRegToCapStruct(C00)))); + print(concat_str("DEBUG CAP HWREG 01", capToString(capRegToCapStruct(CTLSU)))); + print(concat_str("DEBUG CAP HWREG 08", capToString(capRegToCapStruct(CTLSP)))); + /* TODO: these two should not be mirrored to match the FPGA */ + print(concat_str("DEBUG CAP HWREG 22", capToString(capRegToCapStruct(C27)))); + print(concat_str("DEBUG CAP HWREG 23", capToString(capRegToCapStruct(C28)))); + /* KCC, KDC, EPCC */ + print(concat_str("DEBUG CAP HWREG 29", capToString(capRegToCapStruct(C29)))); + print(concat_str("DEBUG CAP HWREG 30", capToString(capRegToCapStruct(C30)))); + print(concat_str("DEBUG CAP HWREG 31", capToString(capRegToCapStruct(C31)))); + } |