On Tue, 16 Sept 2025 at 15:23, Richard Henderson
<[email protected]> wrote:
>
> Signed-off-by: Richard Henderson <[email protected]>
> + } else if (ri->vhe_redir_to_el01 && s->current_el >= 2) {
> + /*
> + * This is one of the FOO_EL12 registers.
I think we could usefully say FOO_EL12/FOO_EL02 here too.
> + * With !E2H, they all UNDEF.
> + * With E2H, from EL2 or EL3, they redirect to FOO_EL1.
> + */
> + if (!s->e2h) {
> + gen_sysreg_undef(s, isread, op0, op1, op2, crn, crm, rt);
> + return;
> + }
> + key = ri->vhe_redir_to_el01;
> + ri = redirect_cpreg(s, key, isread);
> }
Reviewed-by: Peter Maydell <[email protected]>
thanks
-- PMM
