[PATCH 1/1] AArch64: TCR_TG1_64K incorrectly sets TCR_EL1 bits [31:30]

[joe.sylve@gmail.com (Joe Sylve)]

Noted, thanks.

On Wed, Apr 2, 2014 at 5:16 PM, Joe Perches <joe@perches.com> wrote:
> On Wed, 2014-04-02 at 17:10 -0500, Joe Sylve wrote:
>> Should it?  The reference manual refers to the architecture as AArch64.
>>
>> On Wed, Apr 2, 2014 at 4:44 PM, Joe Perches <joe@perches.com> wrote:
>> > On Wed, 2014-04-02 at 18:07 +0100, Catalin Marinas wrote:
>> >> On Wed, Apr 02, 2014 at 01:38:44PM +0100, Catalin Marinas wrote:
>> >> > On Wed, Apr 02, 2014 at 05:00:38AM +0100, Joe Sylve wrote:
>> >> > > Section D7.2.83 TCR_EL1, Translation Control Register (EL1) of the
>> >> > > latest ARM Architecture Reference Manual, ARMv8, for ARMv8-A states
>> >> > > that TCR_EL1 TG1 (bits [31:30]) should be set to 11 for a 64KB
>> >> > > TTBR1_EL1 granule size. The mainline 3.14 kernel incorrectly sets
>> >> > > those bits to 01 (which is a 16KB granule size).
>> >
>> > trivia:
>> >
>> > I think the subject title should be arm64
>
> There was a fair amount of blowback about naming
> the arch aarch64 in linux.
>
> So for linux, the directory and arch name is arm64.
>
> from: https://lkml.org/lkml/2012/7/15/133
>
> From    Linus Torvalds <>
> Date    Sun, 15 Jul 2012 16:53:21 -0700
>
>  - aarch64 is just another druggie name that the ARM people came up
> with after drinking too much of the spiked water in cambridge.
>
>
>
>