forked from riscv/riscv-cheri
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
add extra information into exception reporting (riscv#373)
We need to have the exception faulting address when a CHERI data memory access faults. Not having so is causing problems, so this adds two fields: mtval.CAP_IDX - which cap caused the fault mtval2 - XLEN wide address which faulted (already a standard CSR) stval2 - as mtval2 --------- Signed-off-by: Tariq Kurd <[email protected]> Co-authored-by: Andres Amaya Garcia <[email protected]>
- Loading branch information
1 parent
9280a1d
commit f84c3d0
Showing
6 changed files
with
129 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
[bytefield] | ||
---- | ||
(defattrs :plain [:plain {:font-family "M+ 1p Fallback" :font-size 24}]) | ||
(def row-height 40) | ||
(def row-header-fn nil) | ||
(def left-margin 100) | ||
(def right-margin 100) | ||
(def boxes-per-row 32) | ||
(draw-column-headers {:height 20 :font-size 18 :labels (reverse ["0" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "MXLEN-1"])}) | ||
|
||
(draw-box "Addr" {:span 32}) | ||
|
||
(draw-box "MXLEN" {:span 32 :borders {}}) | ||
---- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
[bytefield] | ||
---- | ||
(defattrs :plain [:plain {:font-family "M+ 1p Fallback" :font-size 24}]) | ||
(def row-height 40) | ||
(def row-header-fn nil) | ||
(def left-margin 100) | ||
(def right-margin 100) | ||
(def boxes-per-row 32) | ||
(draw-column-headers {:height 20 :font-size 18 :labels (reverse ["0" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "SXLEN-1"])}) | ||
|
||
(draw-box "Addr" {:span 32}) | ||
|
||
(draw-box "SXLEN" {:span 32 :borders {}}) | ||
---- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
[bytefield] | ||
---- | ||
(defattrs :plain [:plain {:font-family "M+ 1p Fallback" :font-size 24}]) | ||
(def row-height 40) | ||
(def row-header-fn nil) | ||
(def left-margin 100) | ||
(def right-margin 100) | ||
(def boxes-per-row 32) | ||
(draw-column-headers {:height 20 :font-size 18 :labels (reverse ["0" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "" "VSXLEN-1"])}) | ||
|
||
(draw-box "Addr" {:span 32}) | ||
|
||
(draw-box "VSXLEN" {:span 32 :borders {}}) | ||
---- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,20 @@ | ||
[bytefield] | ||
---- | ||
(defattrs :plain [:plain {:font-family "M+ 1p Fallback" :font-size 24}]) | ||
(def row-height 40) | ||
(def row-header-fn nil) | ||
(def left-margin 100) | ||
(def right-margin 100) | ||
(def boxes-per-row 32) | ||
(draw-column-headers {:height 20 :font-size 18 :labels (reverse ["0" "" "" "3" "4" "" "" "" "" "" "" "" "" "" "" "15" "16" "" "" "19" "20" "" "" "" "" "" "" "" "" "" "" "VSXLEN-1"])}) | ||
|
||
(draw-box "Reserved" {:span 12}) | ||
(draw-box "TYPE" {:span 4}) | ||
(draw-box "Reserved" {:span 12}) | ||
(draw-box "CAUSE" {:span 4}) | ||
|
||
(draw-box "VSXLEN-20" {:span 12 :borders {}}) | ||
(draw-box "4" {:span 4 :borders {}}) | ||
(draw-box "12" {:span 12 :borders {}}) | ||
(draw-box "4" {:span 4 :borders {}}) | ||
---- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters