On Tue, 8 Mar 2022 at 07:20, Richard Henderson <[email protected]> wrote: > > Do not print control registers for user-only mode. > Rename reserved control registers to "resN", where > N is the control register index. > > Signed-off-by: Richard Henderson <[email protected]> > ---
Reviewed-by: Peter Maydell <[email protected]> thanks -- PMM
