diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-05-06 11:42:28 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-05-06 11:59:10 -0700 |
| commit | 0856a511e198b063c555f69bac7586a7dc39879f (patch) | |
| tree | 31e33fae645a694207c7ff5412c44962a1368573 /model/riscv_sys_control.sail | |
| parent | e884e955feed337100c791c705f65de709ec4a4b (diff) | |
| download | sail-riscv-0856a511e198b063c555f69bac7586a7dc39879f.zip sail-riscv-0856a511e198b063c555f69bac7586a7dc39879f.tar.gz sail-riscv-0856a511e198b063c555f69bac7586a7dc39879f.tar.bz2 | |
Factor out sync_exception to fix dependencies in cheri, and similarly split out pc access.
Diffstat (limited to 'model/riscv_sys_control.sail')
| -rw-r--r-- | model/riscv_sys_control.sail | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail index d37ffc9..52111f1 100644 --- a/model/riscv_sys_control.sail +++ b/model/riscv_sys_control.sail @@ -244,13 +244,7 @@ function dispatchInterrupt(priv : Privilege) -> option((InterruptType, Privilege } } -/* model context for synchronous exceptions, parameterized for extensions */ - -struct sync_exception = { - trap : ExceptionType, - excinfo : option(xlenbits), - ext : option(ext_exception) /* for extensions */ -} +/* types of privilege transitions */ union ctl_result = { CTL_TRAP : sync_exception, |