On Thu, 7 Mar 2019 at 20:12, Richard Henderson
<richard.hender...@linaro.org> wrote:
>
> This was working toward fixing
>
>   https://bugs.linaro.org/show_bug.cgi?id=4274
>
> although I don't think I'm entirely successful.  I would argue,
> however, that gdb's behaviour in this is odd.  Why are registers
> that are clearly marked "system" being added to "general" simply
> because they have integer type?

Yeah, this does seem to me like it might be a bug on
gdb's end -- are you following up with them?

> In the meantime, we don't really need to present these registers
> to the user for CONFIG_USER_ONLY.

Reasonable enough, I guess, though a few sysregs are
visible to EL0.

thanks
-- PMM

Reply via email to