tree a6906c348daaef94cc2414a07fff2f0c7f9b1b79
parent acd23bdd6fb338a9ee5c27e82f4e98ed3973e333
author Muralidhar.S.R <muralidhar.s.r@huawei.com> 1541403478 +0530
committer Mike Voydanoff <voydanoff@google.com> 1547745398 +0000

[arm][mm] Move ASID from TTBR0_EL1 to TTBR1_EL1 & ASID 16-bit

Set the defualt ASID to 16 bit configuration, and move the ASID
to TTBR1. Since most of the current hardware support 16-ASID,
changing the default address space identifier to 16-bit.

Test: Tested on kirin970 and hikey960 board. Device booted to shell
      voydanoff also tested on vim2 and eagle

Change-Id: I8ac56a75fbedcfc43b9b0e0b912447201ea6ed70