On 15 January 2016 at 10:37, Alvise Rigo <a.r...@virtualopensystems.com> wrote: > arm_regime_using_lpae_format checks whether the LPAE extension is used > for stage 1 translation regimes. MMU indexes not exclusively of a stage 1 > regime won't work with this method. > > In case of ARMMMUIdx_S12NSE0 or ARMMMUIdx_S12NSE1, offset these values > by ARMMMUIdx_S1NSE0 to get the right index indicating a stage 1 > translation regime. > > Rename also the function to arm_s1_regime_using_lpae_format and update > the comments to reflect the change. > > Signed-off-by: Alvise Rigo <a.r...@virtualopensystems.com>
Applied to target-arm.next, thanks. -- PMM