[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v4 08/40] target/arm: Rename ARMMMUIdx*_S12NSE* to ARMMMUIdx*
|
From: |
Richard Henderson |
|
Subject: |
Re: [PATCH v4 08/40] target/arm: Rename ARMMMUIdx*_S12NSE* to ARMMMUIdx*_E10_* |
|
Date: |
Fri, 6 Dec 2019 10:00:05 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.1 |
On 12/6/19 7:45 AM, Peter Maydell wrote:
> On Tue, 3 Dec 2019 at 02:29, Richard Henderson
> <address@hidden> wrote:
>>
>> This is part of a reorganization to the set of mmu_idx.
>> This emphasizes that they apply to the EL1&0 regime.
>
> It loses the important point that they are stage 1&2
> translations rather than stage 1 or stage 2, though,
> and also now they're out of line with the naming convention
> that all the other indexes use :-(
It won't be out of line once all of the other renamings are done.
r~