You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In CLIC mode, the dpc CSR additionally may hold the faulting address if breakpoints are allowed to trap on the table fetch during hardware vectoring. If breakpoints are allowed to trap on the table read, dret should honor xinhv.
However, I don't think xinhv can be used for this purpose because as well as being set during the implicit vector table fetch it will also be set if debug mode is entered while in the middle of executing a fault handler on a failed vector table fetch. In this situation xinhv will be set but dpc will not be pointing to a trap vector table entry.
If debug mode can be entered with dpc pointing to a trap vector table entry I think the debug state needs its own inhv bit to indicate that.
The text was updated successfully, but these errors were encountered:
In addition, this section should clarify the behaviour when single stepping, in particular, unless a debug inhv bit is added to the architecture, when stepping through an interrupt vectoring operation it is not possible to stop between the return and the vector table fetch. However, if the vector table fetch traps this violates the Debug Spec's definition of a single step: "execute a single instruction or trap and then re-enter Debug Mode"
Specification says that:
However, I don't think xinhv can be used for this purpose because as well as being set during the implicit vector table fetch it will also be set if debug mode is entered while in the middle of executing a fault handler on a failed vector table fetch. In this situation xinhv will be set but dpc will not be pointing to a trap vector table entry.
If debug mode can be entered with dpc pointing to a trap vector table entry I think the debug state needs its own inhv bit to indicate that.
The text was updated successfully, but these errors were encountered: