On Fri, 11 Aug 2023 at 22:42, Richard Henderson <richard.hender...@linaro.org> wrote: > > There is only one additional EL1 register modeled, which > also needs to use access_actlr_w. > > Signed-off-by: Richard Henderson <richard.hender...@linaro.org> > ---
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org> thanks -- PMM