Re: [PATCH 1/8] target/arm: Replicate TBI/TBID bits for single range regimes

[Peter Maydell]

On Tue, 25 Feb 2020 at 03:12, Richard Henderson
<address@hidden> wrote:
>
> Replicate the single TBI bit from TCR_EL2 and TCR_EL3 so that
> we can unconditionally use pointer bit 55 to index into our
> composite TBI1:TBI0 field.
>
> Signed-off-by: Richard Henderson <address@hidden>
> ---
>  target/arm/helper.c | 6 ++++--
>  1 file changed, 4 insertions(+), 2 deletions(-)

Reviewed-by: Peter Maydell <address@hidden>

thanks
-- PMM