From 0856a511e198b063c555f69bac7586a7dc39879f Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur <prashanth.mundkur@gmail.com>
Date: Mon, 6 May 2019 11:42:28 -0700
Subject: Factor out sync_exception to fix dependencies in cheri, and similarly
 split out pc access.

---
 model/riscv_sync_exception.sail | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 model/riscv_sync_exception.sail

(limited to 'model/riscv_sync_exception.sail')

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 */
+}
-- 
cgit v1.1