<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE register_page SYSTEM "registers.dtd">
<!-- Copyright (c) 2010-2026 Arm Limited or its affiliates. All rights reserved. -->
<!-- This document is Non-Confidential. This document may only be used and distributed in accordance with the terms of the agreement entered into by Arm and the party that Arm delivered this document to. -->
<!--The data contained in this document is preliminary and subject to change or correction following further review. -->
<?xml-stylesheet href="one_register.xsl" type="text/xsl" ?>







<register_page>
  <registers>
  
    <register execution_state="AArch64" is_register="True" is_internal="True" is_stub_entry="False">
      <reg_short_name>TTBR1_EL2</reg_short_name>
        
        <reg_long_name>Translation Table Base Register 1 (EL2)</reg_long_name>



      
            <reg_condition otherwise="UNDEFINED">when FEAT_VHE is implemented and FEAT_AA64 is implemented</reg_condition>
      




          <reg_reset_value></reg_reset_value>

      <reg_mappings>
        




      </reg_mappings>

        <reg_purpose>
          
    
      <purpose_text>
        <para>When the Effective value of <register_link state="AArch64" id="AArch64-hcr_el2.xml">HCR_EL2</register_link>.E2H is 1, holds the base address of the translation table for the initial lookup for stage 1 of the translation of an address from the higher VA range in the EL2&amp;0 translation regime, and other information for this translation regime.</para>

      </purpose_text>
      <purpose_text>
        <note><para>When the Effective value of <register_link state="AArch64" id="AArch64-hcr_el2.xml">HCR_EL2</register_link>.E2H is not 1, the contents of this register are ignored by the PE, except for a direct read or write of the register.</para></note>
      </purpose_text>

        </reg_purpose>

      <reg_groups>
            <reg_group>Memory</reg_group>
            <reg_group>Virt</reg_group>
      </reg_groups>
      <reg_configuration>
        
    
      <configuration_text>
        <para>If EL2 is not implemented, this register is <arm-defined-word>RES0</arm-defined-word> from EL3.</para>

      </configuration_text>
      <configuration_text>
        <para>This register has no effect if EL2 is not enabled in the current Security state.</para>

      </configuration_text>
      <configuration_text>
        <para>TTBR1_EL2 is a 128-bit register that can also be accessed as a 64-bit value. If it is accessed as a 64-bit register, accesses read and write bits [63:0] and do not modify bits [127:64].</para>
      </configuration_text>

      </reg_configuration>
      
      
        
      <reg_attributes>
          
    
      <attributes_text>
        <para>TTBR1_EL2 is a:</para>

      </attributes_text>
      <attributes_text>
        <list type="unordered">
<listitem><content>128-bit register when FEAT_D128 is implemented, TCR2_EL2.D128 == '1', and EffectiveHCR_EL2_E2H() == '1'</content>
</listitem><listitem><content>64-bit register when FEAT_D128 is not implemented or TCR2_EL2.D128 == '0'</content>
</listitem></list>
      </attributes_text>

      </reg_attributes>
      <reg_fieldsets>
        






<fields id="fieldset_0" length="128">
  <fields_condition>When FEAT_D128 is implemented, TCR2_EL2.D128 == '1', and EffectiveHCR_EL2_E2H() == '1'</fields_condition>
  <text_before_fields/>
  <field id="fieldset_0-127_88" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False" rwtype="RES0">
    <field_msb>127</field_msb>
    <field_lsb>88</field_lsb>
    <rel_range>127:88</rel_range>
    <field_description order="before"/>
    <field_description order="before">
      <para>Reserved, <arm-defined-word>RES0</arm-defined-word>.</para>
    </field_description>
  </field>
  <field id="fieldset_0-87_80" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False">
    <field_name>BADDR</field_name>
    <field_msb>87</field_msb>
    <field_lsb>80</field_lsb>
    <rel_range>87:80, 47:5</rel_range>
    <field_description order="before"><para>Translation table base address:</para>
<list type="unordered">
<listitem><content>Bits A[55:x] of the stage 1 translation table base address bits are in register bits[87:80, 47:x].</content>
</listitem><listitem><content>Bits A[(x-1):0] of the stage 1 translation table base address are zero.</content>
</listitem></list>
<para>Address bit x is the minimum address bit required to align the translation table to the size of the table. x is calculated based on LOG2(StartTableSize), as described in VMSAv9-128. The smallest permitted value of x is 5.</para></field_description>
    <field_description order="after"><para>The BADDR field is split as follows:</para>
<list type="unordered">
<listitem><content>BADDR[50:43] is TTBR1_EL2[87:80].</content>
</listitem><listitem><content>BADDR[42:0] is TTBR1_EL2[47:5].</content>
</listitem></list></field_description>
    <field_rangesets>
      <field_rangeset>
        <field_msb>87</field_msb>
        <field_lsb>80</field_lsb>
      </field_rangeset>
      <field_rangeset>
        <field_msb>47</field_msb>
        <field_lsb>5</field_lsb>
      </field_rangeset>
    </field_rangesets>
    <field_resets>
      <field_reset reset_type="Warm">
        <field_reset_standard_text>AU</field_reset_standard_text>
      </field_reset>
    </field_resets>
  </field>
  <field id="fieldset_0-79_64" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False" rwtype="RES0">
    <field_msb>79</field_msb>
    <field_lsb>64</field_lsb>
    <rel_range>79:64</rel_range>
    <field_description order="before"/>
    <field_description order="before">
      <para>Reserved, <arm-defined-word>RES0</arm-defined-word>.</para>
    </field_description>
  </field>
  <field id="fieldset_0-63_48" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False">
    <field_name>ASID</field_name>
    <field_msb>63</field_msb>
    <field_lsb>48</field_lsb>
    <rel_range>63:48</rel_range>
    <field_description order="before"><para>An ASID for the translation table base address. The <register_link state="AArch64" id="AArch64-tcr_el2.xml">TCR_EL2</register_link>.A1 field selects either TTBR0_EL2.ASID or TTBR1_EL2.ASID.</para>
<para>If the implementation has only 8 bits of ASID, then the upper 8 bits of this field are <arm-defined-word>RES0</arm-defined-word>.</para></field_description>
    <field_resets>
      <field_reset reset_type="Warm">
        <field_reset_standard_text>AU</field_reset_standard_text>
      </field_reset>
    </field_resets>
  </field>
  <field id="fieldset_0-47_5" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False" is_expansion="True">
    <field_name>BADDR[42:0]</field_name>
    <field_msb>47</field_msb>
    <field_lsb>5</field_lsb>
    <rel_range>87:80, 47:5</rel_range>
    <field_description order="before"><para>This field is bits[42:0] of BADDR[50:0].</para>
<para>See BADDR[50:43] for the field description.</para></field_description>
  </field>
  <field id="fieldset_0-4_3" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False" rwtype="RES0">
    <field_msb>4</field_msb>
    <field_lsb>3</field_lsb>
    <rel_range>4:3</rel_range>
    <field_description order="before"/>
    <field_description order="before">
      <para>Reserved, <arm-defined-word>RES0</arm-defined-word>.</para>
    </field_description>
  </field>
  <field id="fieldset_0-2_1" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False">
    <field_name>SKL</field_name>
    <field_msb>2</field_msb>
    <field_lsb>1</field_lsb>
    <rel_range>2:1</rel_range>
    <field_description order="before"><para>Skip Level associated with translation table walks using TTBR1_EL2.</para>
<para>This determines the number of levels to be skipped from the regular start level of the stage 1 EL2&amp;0 translation table walks using <register_link state="AArch64" id="AArch64-ttbr1_el2.xml">TTBR1_EL2</register_link>.</para></field_description>
    <field_values impdef="False">
      <field_value_instance>
        <field_value>0b00</field_value>
        <field_value_description>
          <para>Skip 0 level from the regular start level.</para>
        </field_value_description>
      </field_value_instance>
      <field_value_instance>
        <field_value>0b01</field_value>
        <field_value_description>
          <para>Skip 1 level from the regular start level.</para>
        </field_value_description>
      </field_value_instance>
      <field_value_instance>
        <field_value>0b10</field_value>
        <field_value_description>
          <para>Skip 2 levels from the regular start level.</para>
        </field_value_description>
      </field_value_instance>
      <field_value_instance>
        <field_value>0b11</field_value>
        <field_value_description>
          <para>Skip 3 levels from the regular start level.</para>
        </field_value_description>
      </field_value_instance>
    </field_values>
    <field_resets>
      <field_reset reset_type="Warm">
        <field_reset_standard_text>AU</field_reset_standard_text>
      </field_reset>
    </field_resets>
  </field>
  <field id="fieldset_0-0_0-1" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False" reserved_type="RES0">
    <field_name>CnP</field_name>
    <field_msb>0</field_msb>
    <field_lsb>0</field_lsb>
    <rel_range>0</rel_range>
    <field_description order="before">
      <para>Common not Private. This bit indicates whether each entry that is pointed to by TBR1_EL2 is a member of a common set that can be used by every PE in the Inner Shareable domain for which the value of TTBR1_EL2.CnP is 1.</para>
    </field_description>
    <field_description order="after"><para>This bit is permitted to be cached in a TLB.</para>
<note><list type="unordered"><listitem><content>TTBR1_EL2 is accessible only when the Effective value of <register_link state="AArch64" id="AArch64-hcr_el2.xml">HCR_EL2</register_link>.E2H is 1, meaning the current translation regime is the EL2&amp;0 regime.</content></listitem><listitem><content>If the value of the TTBR1_EL2.CnP bit is 1 on multiple PEs in the same Inner Shareable domain and those TTBR1_EL2s do not point to the same translation table entries when the other conditions specified for the case when the value of CnP is 1 apply, then the results of translations are <arm-defined-word>CONSTRAINED UNPREDICTABLE</arm-defined-word>, see <xref linkend="#CEGHBJBH">'CONSTRAINED UNPREDICTABLE behaviors due to caching of control or data values'</xref>.</content></listitem></list></note></field_description>
    <field_values impdef="False">
      <field_value_instance>
        <field_value>0b0</field_value>
        <field_value_description><para>The translation table entries pointed to by TTBR1_EL2 for the current ASID are permitted to differ from corresponding entries for TTBR1_EL2 for other PEs in the Inner Shareable domain. This is not affected by:</para>
<list type="unordered">
<listitem><content>
<para>The value of TTBR1_EL2.CnP on those other PEs.</para>
</content>
</listitem><listitem><content>
<para>The value of the current ASID.</para>
</content>
</listitem></list></field_value_description>
      </field_value_instance>
      <field_value_instance>
        <field_value>0b1</field_value>
        <field_value_description><para>The translation table entries pointed to by TTBR1_EL2 are the same as the translation table entries for every other PE in the Inner Shareable domain for which the value of TTBR1_EL2.CnP is 1 and all of the following apply:</para>
<list type="unordered">
<listitem><content>
<para>The translation table entries are pointed to by TTBR1_EL2.</para>
</content>
</listitem><listitem><content>
<para>The ASID is the same as the current ASID.</para>
</content>
</listitem></list></field_value_description>
      </field_value_instance>
    </field_values>
    <field_resets>
      <field_reset reset_type="Warm">
        <field_reset_standard_text>AU</field_reset_standard_text>
      </field_reset>
    </field_resets>
    <fields_condition>When FEAT_TTCNP is implemented</fields_condition>
  </field>
  <field id="fieldset_0-0_0-2" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False" rwtype="RES0">
    <field_msb>0</field_msb>
    <field_lsb>0</field_lsb>
    <rel_range>0</rel_range>
    <field_description order="before"/>
    <field_description order="before">
      <para>Reserved, <arm-defined-word>RES0</arm-defined-word>.</para>
    </field_description>
    <fields_condition>Otherwise</fields_condition>
  </field>
  <text_after_fields/>
</fields>



<fields id="fieldset_1" length="64">
  <fields_condition>When FEAT_D128 is not implemented or TCR2_EL2.D128 == '0'</fields_condition>
  <text_before_fields/>
  <field id="fieldset_1-63_48" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False">
    <field_name>ASID</field_name>
    <field_msb>63</field_msb>
    <field_lsb>48</field_lsb>
    <rel_range>63:48</rel_range>
    <field_description order="before"><para>An ASID for the translation table base address. The <register_link state="AArch64" id="AArch64-tcr_el2.xml">TCR_EL2</register_link>.A1 field selects either TTBR0_EL2.ASID or TTBR1_EL2.ASID.</para>
<para>If the implementation has only 8 bits of ASID, then the upper 8 bits of this field are <arm-defined-word>RES0</arm-defined-word>.</para></field_description>
    <field_resets>
      <field_reset reset_type="Warm">
        <field_reset_standard_text>AU</field_reset_standard_text>
      </field_reset>
    </field_resets>
  </field>
  <field id="fieldset_1-47_1" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False">
    <field_name>BADDR[47:1]</field_name>
    <field_msb>47</field_msb>
    <field_lsb>1</field_lsb>
    <rel_range>47:1</rel_range>
    <field_description order="before"><para>Translation table base address:</para>
<list type="unordered">
<listitem><content>Bits A[47:x] of the stage 1 translation table base address bits are in register bits[47:x].</content>
</listitem><listitem><content>Bits A[(x-1):0] of the stage 1 translation table base address are zero.</content>
</listitem></list>
<para>Address bit x is the minimum address bit required to align the translation table to the size of the table. The AArch64 Virtual Memory System Architecture chapter describes how x is calculated based on the value of <register_link state="AArch64" id="AArch64-tcr_el2.xml">TCR_EL2</register_link>.T1SZ, the translation stage, and the translation granule size.</para>
<para>The BADDR field represents a 52-bit address if any of the following apply:</para>
<list type="unordered">
<listitem><content>The value of <register_link state="AArch64" id="AArch64-tcr_el2.xml">TCR_EL2</register_link>.{I}PS represents an OA size of 52 bits.</content>
</listitem><listitem><content>The Effective value of <register_link state="AArch64" id="AArch64-tcr_el2.xml">TCR_EL2</register_link>.DS is 1.</content>
</listitem></list>
<para>When TTBR1_EL2.BADDR represents a 52-bit addresses, all of the following apply:</para>
<list type="unordered">
<listitem><content>Bits A[51:48] of the stage 1 translation table base address bits are in register bits[5:2].</content>
</listitem><listitem><content>Register bit[1] is <arm-defined-word>RES0</arm-defined-word>.</content>
</listitem><listitem><content>The smallest permitted value of x is 6.</content>
</listitem><listitem><content>When x&gt;6, register bits[(x-1):6] are <arm-defined-word>RES0</arm-defined-word>.</content>
</listitem></list>
<para>Otherwise, all of the following apply:</para>
<list type="unordered">
<listitem><content>Register bits[(x-1):1] are <arm-defined-word>RES0</arm-defined-word>.</content>
</listitem><listitem><content>If 52-bit PA is supported, then bits A[51:48] of the stage 1 translation table base address are treated as <binarynumber>0b0000</binarynumber>.</content>
</listitem></list>
<note><para>If BADDR represents a 52-bit address, and the translation table has fewer than eight entries, the table must be aligned to 64 bytes. Otherwise the translation table must be aligned to the size of the table.</para><para>The OA size specified by <register_link state="AArch64" id="AArch64-tcr_el2.xml">TCR_EL2</register_link>.{I}PS is determined as follows:</para><list type="unordered"><listitem><content>The value of <register_link state="AArch64" id="AArch64-tcr_el2.xml">TCR_EL2</register_link>.PS when the Effective value of <register_link state="AArch64" id="AArch64-hcr_el2.xml">HCR_EL2</register_link>.E2H is not 1.</content></listitem><listitem><content>The value of <register_link state="AArch64" id="AArch64-tcr_el2.xml">TCR_EL2</register_link>.IPS when the Effective value of <register_link state="AArch64" id="AArch64-hcr_el2.xml">HCR_EL2</register_link>.E2H is 1.</content></listitem></list><para>For the 64KB granule, if 52-bit PA is not supported, and the value of <register_link state="AArch64" id="AArch64-tcr_el2.xml">TCR_EL2</register_link>.{I}PS is <binarynumber>0b110</binarynumber> or <binarynumber>0b111</binarynumber>, one of the following <arm-defined-word>IMPLEMENTATION DEFINED</arm-defined-word> behaviors occur:</para><list type="unordered"><listitem><content>BADDR uses the extended format to represent a 52-bit base address.</content></listitem><listitem><content>BADDR does not use the extended format.</content></listitem></list><para>When the value of <register_link state="AArch64" id="AArch64-id_aa64mmfr0_el1.xml">ID_AA64MMFR0_EL1</register_link>.PARange indicates that the implementation supports a 56 bit PA size, bits A[55:52] of the stage 1 translation table base address are zero.</para></note><para>If any register bit[47:1] that is defined as <arm-defined-word>RES0</arm-defined-word> has the value 1 when a translation table walk is done using TTBR1_EL2, then the translation table base address might be misaligned, with effects that are <arm-defined-word>CONSTRAINED UNPREDICTABLE</arm-defined-word>, and must be one of the following:</para>
<list type="unordered">
<listitem><content>Bits A[(x-1):0] of the stage 1 translation table base address are treated as if all the bits are zero. The value read back from the corresponding register bits is either the value written to the register or zero.</content>
</listitem><listitem><content>The result of the calculation of an address for a translation table walk using this register can be corrupted in those bits that are nonzero.</content>
</listitem></list></field_description>
    <field_resets>
      <field_reset reset_type="Warm">
        <field_reset_standard_text>AU</field_reset_standard_text>
      </field_reset>
    </field_resets>
  </field>
  <field id="fieldset_1-0_0-1" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False" reserved_type="RES0">
    <field_name>CnP</field_name>
    <field_msb>0</field_msb>
    <field_lsb>0</field_lsb>
    <rel_range>0</rel_range>
    <field_description order="before">
      <para>Common not Private. This bit indicates whether each entry that is pointed to by TBR1_EL2 is a member of a common set that can be used by every PE in the Inner Shareable domain for which the value of TTBR1_EL2.CnP is 1.</para>
    </field_description>
    <field_description order="after"><para>This bit is permitted to be cached in a TLB.</para>
<note><list type="unordered"><listitem><content>TTBR1_EL2 is accessible only when the Effective value of <register_link state="AArch64" id="AArch64-hcr_el2.xml">HCR_EL2</register_link>.E2H is 1, meaning the current translation regime is the EL2&amp;0 regime.</content></listitem><listitem><content>If the value of the TTBR1_EL2.CnP bit is 1 on multiple PEs in the same Inner Shareable domain and those TTBR1_EL2s do not point to the same translation table entries when the other conditions specified for the case when the value of CnP is 1 apply, then the results of translations are <arm-defined-word>CONSTRAINED UNPREDICTABLE</arm-defined-word>, see <xref linkend="#CEGHBJBH">'CONSTRAINED UNPREDICTABLE behaviors due to caching of control or data values'</xref>.</content></listitem></list></note></field_description>
    <field_values impdef="False">
      <field_value_instance>
        <field_value>0b0</field_value>
        <field_value_description><para>The translation table entries pointed to by TTBR1_EL2 for the current ASID are permitted to differ from corresponding entries for TTBR1_EL2 for other PEs in the Inner Shareable domain. This is not affected by:</para>
<list type="unordered">
<listitem><content>
<para>The value of TTBR1_EL2.CnP on those other PEs.</para>
</content>
</listitem><listitem><content>
<para>The value of the current ASID.</para>
</content>
</listitem></list></field_value_description>
      </field_value_instance>
      <field_value_instance>
        <field_value>0b1</field_value>
        <field_value_description><para>The translation table entries pointed to by TTBR1_EL2 are the same as the translation table entries for every other PE in the Inner Shareable domain for which the value of TTBR1_EL2.CnP is 1 and all of the following apply:</para>
<list type="unordered">
<listitem><content>
<para>The translation table entries are pointed to by TTBR1_EL2.</para>
</content>
</listitem><listitem><content>
<para>The ASID is the same as the current ASID.</para>
</content>
</listitem></list></field_value_description>
      </field_value_instance>
    </field_values>
    <field_resets>
      <field_reset reset_type="Warm">
        <field_reset_standard_text>AU</field_reset_standard_text>
      </field_reset>
    </field_resets>
    <fields_condition>When FEAT_TTCNP is implemented</fields_condition>
  </field>
  <field id="fieldset_1-0_0-2" has_partial_fieldset="False" is_linked_to_partial_fieldset="False" is_access_restriction_possible="False" is_variable_length="False" is_constant_value="False" is_partial_field="False" is_conditional_field_name="False" rwtype="RES0">
    <field_msb>0</field_msb>
    <field_lsb>0</field_lsb>
    <rel_range>0</rel_range>
    <field_description order="before"/>
    <field_description order="before">
      <para>Reserved, <arm-defined-word>RES0</arm-defined-word>.</para>
    </field_description>
    <fields_condition>Otherwise</fields_condition>
  </field>
  <text_after_fields/>
</fields>





<reg_fieldset length="128">
  <fields_condition>When FEAT_D128 is implemented, TCR2_EL2.D128 == '1', and EffectiveHCR_EL2_E2H() == '1'</fields_condition>
  <fieldat id="fieldset_0-127_88" msb="127" lsb="88"/>
  <fieldat id="fieldset_0-87_80" msb="87" lsb="80" label="BADDR[50:43]"/>
  <fieldat id="fieldset_0-79_64" msb="79" lsb="64"/>
  <fieldat id="fieldset_0-63_48" msb="63" lsb="48"/>
  <fieldat id="fieldset_0-87_80" msb="47" lsb="5" label="BADDR[42:0]"/>
  <fieldat id="fieldset_0-4_3" msb="4" lsb="3"/>
  <fieldat id="fieldset_0-2_1" msb="2" lsb="1"/>
  <fieldat id="fieldset_0-0_0-1" msb="0" lsb="0"/>
</reg_fieldset>

<reg_fieldset length="64">
  <fields_condition>When FEAT_D128 is not implemented or TCR2_EL2.D128 == '0'</fields_condition>
  <fieldat id="fieldset_1-63_48" msb="63" lsb="48"/>
  <fieldat id="fieldset_1-47_1" msb="47" lsb="1"/>
  <fieldat id="fieldset_1-0_0-1" msb="0" lsb="0"/>
</reg_fieldset>


      </reg_fieldsets>

      <access_mechanisms>
          


  
    
      <access_permission_text>
        <para>When the Effective value of <register_link state="AArch64" id="AArch64-hcr_el2.xml">HCR_EL2</register_link>.E2H is 1, without explicit synchronization, accesses from EL2 using the accessor name <value>TTBR1_EL2</value> or <value>TTBR1_EL1</value> are not guaranteed to be ordered with respect to accesses using the other accessor name.</para>
      </access_permission_text>





    
        
        <access_mechanism accessor="MRS TTBR1_EL2" type="SystemAccessor">
            <encoding>
            <access_instruction>MRS &lt;Xt&gt;, TTBR1_EL2</access_instruction>
                
                <enc n="op0" v="0b11"/>
                
                <enc n="op1" v="0b100"/>
                
                <enc n="CRn" v="0b0010"/>
                
                <enc n="CRm" v="0b0000"/>
                
                <enc n="op2" v="0b001"/>
            </encoding>
            <access_permission>
                <ps name="MRS" sections="1" secttype="access_permission">
                <pstext>
if !(IsFeatureImplemented(FEAT_VHE) &amp;&amp; IsFeatureImplemented(FEAT_AA64)) then
    Undefined();
elsif PSTATE.EL == EL0 then
    Undefined();
elsif PSTATE.EL == EL1 then
    if EffectiveHCR_EL2_NVx() IN {'xx1'} then
        AArch64_SystemAccessTrap(EL2, 0x18);
    else
        Undefined();
    end;
elsif PSTATE.EL == EL2 then
    X{64}(t) = TTBR1_EL2()[63:0];
elsif PSTATE.EL == EL3 then
    X{64}(t) = TTBR1_EL2()[63:0];
end;
                </pstext>
                </ps>
            </access_permission>
        </access_mechanism>
    
        
        <access_mechanism accessor="MSRregister TTBR1_EL2" type="SystemAccessor">
            <encoding>
            <access_instruction>MSR TTBR1_EL2, &lt;Xt&gt;</access_instruction>
                
                <enc n="op0" v="0b11"/>
                
                <enc n="op1" v="0b100"/>
                
                <enc n="CRn" v="0b0010"/>
                
                <enc n="CRm" v="0b0000"/>
                
                <enc n="op2" v="0b001"/>
            </encoding>
            <access_permission>
                <ps name="MSRregister" sections="1" secttype="access_permission">
                <pstext>
if !(IsFeatureImplemented(FEAT_VHE) &amp;&amp; IsFeatureImplemented(FEAT_AA64)) then
    Undefined();
elsif PSTATE.EL == EL0 then
    Undefined();
elsif PSTATE.EL == EL1 then
    if EffectiveHCR_EL2_NVx() IN {'xx1'} then
        AArch64_SystemAccessTrap(EL2, 0x18);
    else
        Undefined();
    end;
elsif PSTATE.EL == EL2 then
    TTBR1_EL2()[63:0] = X{64}(t);
elsif PSTATE.EL == EL3 then
    TTBR1_EL2()[63:0] = X{64}(t);
end;
                </pstext>
                </ps>
            </access_permission>
        </access_mechanism>
    
        
        <access_mechanism accessor="MRS TTBR1_EL1" type="SystemAccessor">
            <encoding>
            <access_instruction>MRS &lt;Xt&gt;, TTBR1_EL1</access_instruction>
                
                <enc n="op0" v="0b11"/>
                
                <enc n="op1" v="0b000"/>
                
                <enc n="CRn" v="0b0010"/>
                
                <enc n="CRm" v="0b0000"/>
                
                <enc n="op2" v="0b001"/>
            </encoding>
            <access_permission>
                <ps name="MRS" sections="1" secttype="access_permission">
                <pstext>
if !IsFeatureImplemented(FEAT_AA64) then
    Undefined();
elsif PSTATE.EL == EL0 then
    Undefined();
elsif PSTATE.EL == EL1 then
    if EL2Enabled() &amp;&amp; HCR_EL2().TRVM == '1' then
        AArch64_SystemAccessTrap(EL2, 0x18);
    elsif EL2Enabled() &amp;&amp; IsFeatureImplemented(FEAT_FGT) &amp;&amp; (!HaveEL(EL3) || SCR_EL3().FGTEn == '1') &amp;&amp; HFGRTR_EL2().TTBR1_EL1 == '1' then
        AArch64_SystemAccessTrap(EL2, 0x18);
    elsif EffectiveHCR_EL2_NVx() IN {'111'} then
        X{64}(t) = NVMem(0x210);
    else
        X{64}(t) = TTBR1_EL1()[63:0];
    end;
elsif PSTATE.EL == EL2 then
    if ELIsInHost(EL2) then
        X{64}(t) = TTBR1_EL2()[63:0];
    else
        X{64}(t) = TTBR1_EL1()[63:0];
    end;
elsif PSTATE.EL == EL3 then
    X{64}(t) = TTBR1_EL1()[63:0];
end;
                </pstext>
                </ps>
            </access_permission>
        </access_mechanism>
    
        
        <access_mechanism accessor="MSRregister TTBR1_EL1" type="SystemAccessor">
            <encoding>
            <access_instruction>MSR TTBR1_EL1, &lt;Xt&gt;</access_instruction>
                
                <enc n="op0" v="0b11"/>
                
                <enc n="op1" v="0b000"/>
                
                <enc n="CRn" v="0b0010"/>
                
                <enc n="CRm" v="0b0000"/>
                
                <enc n="op2" v="0b001"/>
            </encoding>
            <access_permission>
                <ps name="MSRregister" sections="1" secttype="access_permission">
                <pstext>
if !IsFeatureImplemented(FEAT_AA64) then
    Undefined();
elsif PSTATE.EL == EL0 then
    Undefined();
elsif PSTATE.EL == EL1 then
    if EL2Enabled() &amp;&amp; HCR_EL2().TVM == '1' then
        AArch64_SystemAccessTrap(EL2, 0x18);
    elsif EL2Enabled() &amp;&amp; IsFeatureImplemented(FEAT_FGT) &amp;&amp; (!HaveEL(EL3) || SCR_EL3().FGTEn == '1') &amp;&amp; HFGWTR_EL2().TTBR1_EL1 == '1' then
        AArch64_SystemAccessTrap(EL2, 0x18);
    elsif EffectiveHCR_EL2_NVx() IN {'111'} then
        NVMem(0x210) = X{64}(t);
    else
        TTBR1_EL1()[63:0] = X{64}(t);
    end;
elsif PSTATE.EL == EL2 then
    if ELIsInHost(EL2) then
        TTBR1_EL2()[63:0] = X{64}(t);
    else
        TTBR1_EL1()[63:0] = X{64}(t);
    end;
elsif PSTATE.EL == EL3 then
    TTBR1_EL1()[63:0] = X{64}(t);
end;
                </pstext>
                </ps>
            </access_permission>
        </access_mechanism>
    
        
        <access_mechanism accessor="MRRS TTBR1_EL2" type="SystemAccessor">
            <encoding>
            <access_instruction>MRRS &lt;Xt&gt;, &lt;Xt+1&gt;, TTBR1_EL2</access_instruction>
                
                <enc n="op0" v="0b11"/>
                
                <enc n="op1" v="0b100"/>
                
                <enc n="CRn" v="0b0010"/>
                
                <enc n="CRm" v="0b0000"/>
                
                <enc n="op2" v="0b001"/>
            </encoding>
            <access_condition>
When FEAT_D128 is implemented
            </access_condition>
            <access_permission>
                <ps name="MRRS" sections="1" secttype="access_permission">
                <pstext>
if !(IsFeatureImplemented(FEAT_VHE) &amp;&amp; IsFeatureImplemented(FEAT_AA64)) then
    Undefined();
elsif PSTATE.EL == EL0 then
    Undefined();
elsif PSTATE.EL == EL1 then
    if EffectiveHCR_EL2_NVx() IN {'xx1'} then
        AArch64_SystemAccessTrap(EL2, 0x14);
    else
        Undefined();
    end;
elsif PSTATE.EL == EL2 then
    if HaveEL(EL3) &amp;&amp; EL3SDDUndefPriority() &amp;&amp; SCR_EL3().D128En == '0' then
        Undefined();
    elsif HaveEL(EL3) &amp;&amp; SCR_EL3().D128En == '0' then
        if EL3SDDUndef() then
            Undefined();
        else
            AArch64_SystemAccessTrap(EL3, 0x14);
        end;
    else
        X{128}(t, t2) = TTBR1_EL2();
    end;
elsif PSTATE.EL == EL3 then
    X{128}(t, t2) = TTBR1_EL2();
end;
                </pstext>
                </ps>
            </access_permission>
        </access_mechanism>
    
        
        <access_mechanism accessor="MSRRregister TTBR1_EL2" type="SystemAccessor">
            <encoding>
            <access_instruction>MSRR TTBR1_EL2, &lt;Xt&gt;, &lt;Xt+1&gt;</access_instruction>
                
                <enc n="op0" v="0b11"/>
                
                <enc n="op1" v="0b100"/>
                
                <enc n="CRn" v="0b0010"/>
                
                <enc n="CRm" v="0b0000"/>
                
                <enc n="op2" v="0b001"/>
            </encoding>
            <access_condition>
When FEAT_D128 is implemented
            </access_condition>
            <access_permission>
                <ps name="MSRRregister" sections="1" secttype="access_permission">
                <pstext>
if !(IsFeatureImplemented(FEAT_VHE) &amp;&amp; IsFeatureImplemented(FEAT_AA64)) then
    Undefined();
elsif PSTATE.EL == EL0 then
    Undefined();
elsif PSTATE.EL == EL1 then
    if EffectiveHCR_EL2_NVx() IN {'xx1'} then
        AArch64_SystemAccessTrap(EL2, 0x14);
    else
        Undefined();
    end;
elsif PSTATE.EL == EL2 then
    if HaveEL(EL3) &amp;&amp; EL3SDDUndefPriority() &amp;&amp; SCR_EL3().D128En == '0' then
        Undefined();
    elsif HaveEL(EL3) &amp;&amp; SCR_EL3().D128En == '0' then
        if EL3SDDUndef() then
            Undefined();
        else
            AArch64_SystemAccessTrap(EL3, 0x14);
        end;
    else
        TTBR1_EL2()[127:0] = X{128}(t, t2);
    end;
elsif PSTATE.EL == EL3 then
    TTBR1_EL2()[127:0] = X{128}(t, t2);
end;
                </pstext>
                </ps>
            </access_permission>
        </access_mechanism>
    
        
        <access_mechanism accessor="MRRS TTBR1_EL1" type="SystemAccessor">
            <encoding>
            <access_instruction>MRRS &lt;Xt&gt;, &lt;Xt+1&gt;, TTBR1_EL1</access_instruction>
                
                <enc n="op0" v="0b11"/>
                
                <enc n="op1" v="0b000"/>
                
                <enc n="CRn" v="0b0010"/>
                
                <enc n="CRm" v="0b0000"/>
                
                <enc n="op2" v="0b001"/>
            </encoding>
            <access_condition>
When FEAT_D128 is implemented
            </access_condition>
            <access_permission>
                <ps name="MRRS" sections="1" secttype="access_permission">
                <pstext>
if !IsFeatureImplemented(FEAT_AA64) then
    Undefined();
elsif PSTATE.EL == EL0 then
    Undefined();
elsif PSTATE.EL == EL1 then
    if HaveEL(EL3) &amp;&amp; EL3SDDUndefPriority() &amp;&amp; SCR_EL3().D128En == '0' then
        Undefined();
    elsif EL2Enabled() &amp;&amp; HCR_EL2().TRVM == '1' then
        AArch64_SystemAccessTrap(EL2, 0x14);
    elsif EL2Enabled() &amp;&amp; IsFeatureImplemented(FEAT_FGT) &amp;&amp; (!HaveEL(EL3) || SCR_EL3().FGTEn == '1') &amp;&amp; HFGRTR_EL2().TTBR1_EL1 == '1' then
        AArch64_SystemAccessTrap(EL2, 0x14);
    elsif EL2Enabled() &amp;&amp; (!IsHCRXEL2Enabled() || HCRX_EL2().D128En == '0') then
        AArch64_SystemAccessTrap(EL2, 0x14);
    elsif HaveEL(EL3) &amp;&amp; SCR_EL3().D128En == '0' then
        if EL3SDDUndef() then
            Undefined();
        else
            AArch64_SystemAccessTrap(EL3, 0x14);
        end;
    elsif EffectiveHCR_EL2_NVx() IN {'111'} then
        X{128}(t, t2) = NVMem128(0x210);
    else
        X{128}(t, t2) = TTBR1_EL1();
    end;
elsif PSTATE.EL == EL2 then
    if HaveEL(EL3) &amp;&amp; EL3SDDUndefPriority() &amp;&amp; SCR_EL3().D128En == '0' then
        Undefined();
    elsif HaveEL(EL3) &amp;&amp; SCR_EL3().D128En == '0' then
        if EL3SDDUndef() then
            Undefined();
        else
            AArch64_SystemAccessTrap(EL3, 0x14);
        end;
    elsif ELIsInHost(EL2) then
        X{128}(t, t2) = TTBR1_EL2();
    else
        X{128}(t, t2) = TTBR1_EL1();
    end;
elsif PSTATE.EL == EL3 then
    X{128}(t, t2) = TTBR1_EL1();
end;
                </pstext>
                </ps>
            </access_permission>
        </access_mechanism>
    
        
        <access_mechanism accessor="MSRRregister TTBR1_EL1" type="SystemAccessor">
            <encoding>
            <access_instruction>MSRR TTBR1_EL1, &lt;Xt&gt;, &lt;Xt+1&gt;</access_instruction>
                
                <enc n="op0" v="0b11"/>
                
                <enc n="op1" v="0b000"/>
                
                <enc n="CRn" v="0b0010"/>
                
                <enc n="CRm" v="0b0000"/>
                
                <enc n="op2" v="0b001"/>
            </encoding>
            <access_condition>
When FEAT_D128 is implemented
            </access_condition>
            <access_permission>
                <ps name="MSRRregister" sections="1" secttype="access_permission">
                <pstext>
if !IsFeatureImplemented(FEAT_AA64) then
    Undefined();
elsif PSTATE.EL == EL0 then
    Undefined();
elsif PSTATE.EL == EL1 then
    if HaveEL(EL3) &amp;&amp; EL3SDDUndefPriority() &amp;&amp; SCR_EL3().D128En == '0' then
        Undefined();
    elsif EL2Enabled() &amp;&amp; HCR_EL2().TVM == '1' then
        AArch64_SystemAccessTrap(EL2, 0x14);
    elsif EL2Enabled() &amp;&amp; IsFeatureImplemented(FEAT_FGT) &amp;&amp; (!HaveEL(EL3) || SCR_EL3().FGTEn == '1') &amp;&amp; HFGWTR_EL2().TTBR1_EL1 == '1' then
        AArch64_SystemAccessTrap(EL2, 0x14);
    elsif EL2Enabled() &amp;&amp; (!IsHCRXEL2Enabled() || HCRX_EL2().D128En == '0') then
        AArch64_SystemAccessTrap(EL2, 0x14);
    elsif HaveEL(EL3) &amp;&amp; SCR_EL3().D128En == '0' then
        if EL3SDDUndef() then
            Undefined();
        else
            AArch64_SystemAccessTrap(EL3, 0x14);
        end;
    elsif EffectiveHCR_EL2_NVx() IN {'111'} then
        NVMem128(0x210) = X{128}(t, t2);
    else
        TTBR1_EL1()[127:0] = X{128}(t, t2);
    end;
elsif PSTATE.EL == EL2 then
    if HaveEL(EL3) &amp;&amp; EL3SDDUndefPriority() &amp;&amp; SCR_EL3().D128En == '0' then
        Undefined();
    elsif HaveEL(EL3) &amp;&amp; SCR_EL3().D128En == '0' then
        if EL3SDDUndef() then
            Undefined();
        else
            AArch64_SystemAccessTrap(EL3, 0x14);
        end;
    elsif ELIsInHost(EL2) then
        TTBR1_EL2()[127:0] = X{128}(t, t2);
    else
        TTBR1_EL1()[127:0] = X{128}(t, t2);
    end;
elsif PSTATE.EL == EL3 then
    TTBR1_EL1()[127:0] = X{128}(t, t2);
end;
                </pstext>
                </ps>
            </access_permission>
        </access_mechanism>

      </access_mechanisms>

      <arch_variants>
      </arch_variants>
  </register>
</registers>
<timestamp>2026-03-26 20:27:25</timestamp>
<commit_id>2026-03_rel</commit_id>
</register_page>