diff options
Diffstat (limited to 'cheri')
| -rw-r--r-- | cheri/cheri_prelude.sail | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/cheri/cheri_prelude.sail b/cheri/cheri_prelude.sail index f9b33f35..eee1ac65 100644 --- a/cheri/cheri_prelude.sail +++ b/cheri/cheri_prelude.sail @@ -303,11 +303,11 @@ function (bit[8]) CapExCode((CapEx) ex) = case CapEx_PermitStoreCapViolation -> 0x15 case CapEx_PermitStoreLocalCapViolation -> 0x16 case CapEx_PermitSealViolation -> 0x17 - case CapEx_AccessEPCCViolation -> 0x1a - case CapEx_AccessKDCViolation -> 0x1b - case CapEx_AccessKCCViolation -> 0x1c - case CapEx_AccessKR1CViolation -> 0x1d - case CapEx_AccessKR2CViolation -> 0x1e + case CapEx_AccessEPCCViolation -> 0x18 + case CapEx_AccessKDCViolation -> 0x18 + case CapEx_AccessKCCViolation -> 0x18 + case CapEx_AccessKR1CViolation -> 0x18 + case CapEx_AccessKR2CViolation -> 0x18 } typedef CapCauseReg = register bits [15:0] { |