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_sync_exception.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_sync_exception.sail')
| -rw-r--r-- | model/riscv_sync_exception.sail | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/model/riscv_sync_exception.sail b/model/riscv_sync_exception.sail new file mode 100644 index 0000000..208d518 --- /dev/null +++ b/model/riscv_sync_exception.sail @@ -0,0 +1,7 @@ +/* model context for synchronous exceptions, parameterized for extensions */ + +struct sync_exception = { + trap : ExceptionType, + excinfo : option(xlenbits), + ext : option(ext_exception) /* for extensions */ +} |