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

On Tue, 25 Feb 2020 at 03:12, Richard Henderson 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 > --- > target/arm/helper.c | 6 -- > 1 fil

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

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 --- target/arm/helper.c | 6 -- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/target/arm/helpe