TLBI ALLE2, TLB Invalidate All, EL2
The TLBI ALLE2 characteristics are:
Purpose
If EL2 is implemented and enabled in the current Security state, invalidates cached copies of translation table entries from TLBs that meet all the following requirements:
-
The entry is a stage 1 translation table entry, from any level of the translation table walk.
-
If SCR_EL3.NS is 1 and the entry would be required to translate an address using the Non-secure EL2 or Non-secure EL2&0 translation regime.
-
If SCR_EL3.NS is 0 and the entry would be required to translate an address using the Secure EL2 or Secure EL2&0 translation regime.
The invalidation only applies to the PE that executes this System instruction.
Configuration
There are no configuration notes.
Attributes
TLBI ALLE2 is a 64-bit System instruction.
Field descriptions
This instruction has no applicable fields.
The value in the register specified by <Xt> is ignored.
Executing the TLBI ALLE2 instruction
When executing this instruction Xt should be encoded as 0b11111. If the Xt field is not set to 0b11111, it is CONSTRAINED UNPREDICTABLE whether:
-
The instruction is UNDEFINED.
-
The instruction behaves as if the Xt field is set to 0b11111.
Accesses to this instruction use the following encodings:
TLBI ALLE2{, <Xt>}
| op0 | op1 | CRn | CRm | op2 |
|---|---|---|---|---|
| 0b01 | 0b100 | 0b1000 | 0b0111 | 0b000 |
if PSTATE.EL == EL0 then
UNDEFINED;
elsif PSTATE.EL == EL1 then
if EL2Enabled() && HCR_EL2.NV == '1' then
AArch64.SystemAccessTrap(EL2, 0x18);
else
UNDEFINED;
elsif PSTATE.EL == EL2 then
TLBI_ALLE2();
elsif PSTATE.EL == EL3 then
if !EL2Enabled() then
UNDEFINED;
else
TLBI_ALLE2();