diff options
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index 892ed1f6..5da817a3 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -708,7 +708,7 @@ function clause execute (CLC(cd, cb, rt, offset, linked)) = else if (vAddr < ((nat) (cb_val.base))) then exit (raise_c2_exception(CapEx_LengthViolation, cb)) else if (vAddr64[4..0] != 0b00000) then - exit (SignalExceptionBadAddr(AdES, vAddr64)) + exit (SignalExceptionBadAddr(AdEL, vAddr64)) else { pAddr := (TranslateOrExit(vAddr64, LoadData)); (* XXX use LoadCap here. *) |