Skip to content

Commit

Permalink
add ASR permission and target out of bounds exception priority (#128)
Browse files Browse the repository at this point in the history
fix [issue ](#127)

---------

Co-authored-by: Andres Amaya Garcia <[email protected]>
  • Loading branch information
tariqkurd-repo and andresag01 authored Feb 26, 2024
1 parent e18679b commit 459d6c5
Showing 1 changed file with 10 additions and 3 deletions.
13 changes: 10 additions & 3 deletions src/riscv-integration.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -758,7 +758,7 @@ _Reserved_
|Priority |Exc.Code |Description
|_Highest_ |3 |Instruction address breakpoint
| .>|*{cheri_excep_mcause}* .<|*Prior to instruction address translation:* +
*CHERI fault*
*CHERI fault due to PCC checks (tag, execute permission and bounds)*
| .>|12, 1 .<|During instruction address translation: +
First encountered page fault or access fault
| .>|1 .<|With physical address for instruction: +
Expand All @@ -774,8 +774,13 @@ Environment call +
Environment break +
Load/store/AMO address breakpoint

| .>|*{cheri_excep_mcause}* .<|*Prior to address translation for an explicit memory access or jump:* +
*CHERI fault*
| .>| *{cheri_excep_mcause}* .<| *CHERI faults due to:* +
*PCC <<asr_perm>> clear* +
*Branch/jump target address checks (tag, execute permissions and bounds)*

| .>|*{cheri_excep_mcause}* .<|*Prior to address translation for an explicit memory access:* +
*Load/store/AMO capability address misaligned* +
*CHERI fault due to capability checks (tag, permissions and bounds)*
| .>|4,6 .<|Optionally: +
Load/store/AMO address misaligned
| .>|13, 15, 5, 7 .<|During address translation for an explicit memory access: +
Expand All @@ -786,6 +791,8 @@ Load/store/AMO access fault
Load/store/AMO address misaligned
|===

NOTE: the full details of the CHERI exceptions are in xref:cheri_exception_combs_descriptions[xrefstyle=short].

[#medeleg,reftext="medeleg"]
==== Machine Trap Delegation Register (medeleg)

Expand Down

0 comments on commit 459d6c5

Please sign in to comment.