Re: [PATCH v2 7/7] target/arm: Add el_is_in_host

[Richard Henderson]

On 5/19/22 04:39, Peter Maydell wrote:
> > +    mask = el ? HCR_E2H : HCR_E2H | HCR_TGE;
> > +    if ((env->cp15.hcr_el2 & mask) != mask) {
> > +        return false;
> > +    }
> > +
> > +    /* TGE and/or E2H set: double check those bits are currently legal. */
> > +    return arm_is_el2_enabled(env) && arm_el_is_aa64(env, 2);
> > +}
>
> What about the HaveVirtHostExt() check ?

Handled by do_hcr_write, in not letting E2H be set.
Will add a comment.


r~