On Wed, Jan 28, 2015 at 4:34 PM, Peter Maydell <peter.maydell@linaro.org> wrote:
On 28 January 2015 at 21:57, Greg Bellows <greg.bellows@linaro.org> wrote:
> After getting through patch 9, I wonder if the TB NS bit can also be removed
> as it is implied in the MMU index.

No, because for a 32-bit EL3 we are always running under a Secure
translation regime (S1E3) but the TBFLAG_NS bit may be either 0 or
1 depending on the value of the SCR.NS bit.


​That is correct.​

 
-- PMM