On Tue, 17 Jan 2023 at 22:48, David Reiss <[email protected]> wrote: > > On 1/17/23 1:42 PM, Richard Henderson wrote: > > Is there a reason why these are separate from m_systemreg? > > GDB puts these in a separate file, and J-Link puts them in a separate feature > block. > In general, I think it's nice to separate stuff related to the secure > extension > so folks not working with it can ignore it more easily.
The reason is "there is an unwritten standard for where the registers are supposed to go" -- if we don't follow it then although gdb will display the registers to the user fine it won't recognize them for purposes of doing operations like bactracing across secure-calls. I have nudged a local gdb dev to suggest that the gdb remote docs be improved to write down what gdb requires in the way of XML feature and register names. thanks -- PMM
