diff options
| -rw-r--r-- | riscv/riscv_sys.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/riscv/riscv_sys.sail b/riscv/riscv_sys.sail index 99de174c..68ef7a55 100644 --- a/riscv/riscv_sys.sail +++ b/riscv/riscv_sys.sail @@ -332,7 +332,8 @@ function handle_exception_ctl(cur_priv : privilege, ctl : ctl_result, Some(a) => mtval = a, None => throw(Error_internal_error) } - } + }, + _ => throw(Error_internal_error) /* Don't expect ReservedExc0 etc. here */ }; /* TODO: make register read explicit */ mtvec |