4.2.6. AArch64 TLB maintenance operations

Table 4.6 shows the System instructions for TLB maintenance operations in AArch64 state. See the ARM® Architecture Reference Manual ARMv8 for more information about these operations.

Table 4.6. AArch64 TLB maintenance operations

NameDescription
TLBI VMALLE1ISInvalidate all stage 1 translations used at EL1 with the current virtual machine identifier (VMID) in the Inner Shareable
TLBI VAE1IS

Invalidate translation used at EL1 for the specified VA and Address Space Identifier (ASID) and the current VMID, Inner Shareable

TLBI ASIDE1ISInvalidate all translations used at EL1 with the current VMID and the supplied ASID, Inner Shareable
TLBI VAAE1ISInvalidate all translations used at EL1 for the specified address and current VMID and for all ASID values, Inner Shareable
TLBI VALE1ISInvalidate all entries from the last level of stage 1 translation table walk used at EL1 with the supplied ASID and current VMID, Inner Shareable
TLBI VAALE1ISInvalidate all entries from the last level of stage 1 translation table walk used at EL1 for the specified address and current VMID and for all ASID values, Inner Shareable
TLBI VMALLE1Invalidate all stage 1 translations used at EL1 with the current VMID
TLBI VAE1

Invalidate translation used at EL1 for the specified VA and ASID and the current VMID

TLBI ASIDE1Invalidate all translations used at EL1 with the current VMID and the supplied ASID
TLBI VAAE1Invalidate all translations used at EL1 for the specified address and current VMID and for all ASID values
TLBI VALE1Invalidate all entries from the last level of stage 1 translation table walk used at EL1 with the supplied ASID and current VMID
TLBI VAALE1Invalidate all entries from the last level of stage 1 translation table walk used at EL1 for the specified address and current VMID and for all ASID values

The Virtualization registers include additional TLB operations for use in Hyp mode. For more information, see AArch64 EL2 TLB maintenance operations.

Copyright © 2013, 2014 ARM. All rights reserved.ARM DDI 0488D
Non-ConfidentialID012914