diff options
| author | Robert Norton | 2016-05-13 17:06:50 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-05-13 17:06:50 +0100 |
| commit | 4bd42c3b77cc37e12ab74332849fe6941f981021 (patch) | |
| tree | e2533bd04a04a5c425dc4901849d8e9822963b1e /cheri | |
| parent | bb8bee18b67ba87a875d648d166aa474794d5123 (diff) | |
implement config registers.
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cheri/cheri_prelude.sail b/cheri/cheri_prelude.sail index 0cb2a1f3..fd2e195d 100644 --- a/cheri/cheri_prelude.sail +++ b/cheri/cheri_prelude.sail @@ -119,6 +119,7 @@ let (CapStruct) null_cap = { let (nat) max_otype = 0xffffff def Nat cap_size_t = 32 (* cap size in bytes *) let ([:cap_size_t:]) cap_size = 32 +let have_cp2 = true function CapStruct capRegToCapStruct((CapReg) capReg) = { |