target/arm: Replicate TBI/TBID bits for single range regimes
commit3e270f67f0f05277021763af119a6ce195f8ed51
authorRichard Henderson <richard.henderson@linaro.org>
Thu, 5 Mar 2020 16:09:20 +0000 (5 16:09 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Thu, 5 Mar 2020 16:09:20 +0000 (5 16:09 +0000)
tree4431ccce8fd9dcbb153e0c86eddccfec0faf2bf7
parent3c2fb21ad2a02186bec986001ae1f1eefdfdb549
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.

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-id: 20200302175829.2183-2-richard.henderson@linaro.org
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
target/arm/helper.c