incorrect setting of MT_DEVICE_ mem_types TEX bits on ARMv7?

[Ard Biesheuvel]

On Tue, 1 Dec 2020 at 12:45, Henry Gomersall
<henry.gomersall at smartacoustics.co.uk> wrote:
>
> Looking at the configuration of the TEX bits for mem_types[MT_DEVICE]
> and  mem_types[MT_DEVICE_NONSHARED] in mmu.c, they seem to be
> inconsistent with the technical reference manual.
>
> Relevant lines:
> https://github.com/torvalds/linux/blob/master/arch/arm/mm/mmu.c#L498
>
> The ARM architecture reference manual ARMv7-A and ARMv7-R, table B3-10
> in section B3.8.2 describes the strongly-ordered TEX bits as 00 or 10
> for shared and unshared respectively.
>
> MT_DEVICE_WC is set as I'd expect (the buffering-on case).
>
> It's more than possible I'm missing something, in which case I'd
> appreciate knowing!
>

Are you referring to

B3.8.2
Short-descriptor format memory region attributes, without TEX remap

?