On Fri, Aug 14, 2015 at 01:52:18AM +1000, Alexey Kardashevskiy wrote:
> At the moment get_monitor_def() prints only registers from monitor_defs.
> However there is a lot of BOOK3S SPRs which are not in the list and
> cannot be printed.
>
> This makes use of the new get_monitor_def() callback and p
At the moment get_monitor_def() prints only registers from monitor_defs.
However there is a lot of BOOK3S SPRs which are not in the list and
cannot be printed.
This makes use of the new get_monitor_def() callback and prints all
registered SPRs and fails on unregistered ones proving the user
inform
