tlbi

TLB Invalidate (VA)

TLBI VAE1, <Xt>

Invalidates TLB entries by Virtual Address.

Pseudocode Operation

TLBInvalidateByVA(Xt, EL1); DSB(SY); ISB()

Example

TLBI VAE1, x3

Encoding

Binary Layout

1101010100

31:22

0

21

01

20:19

op1

18:16

CRn

15:12

CRm

11:8

op2

7:5

Rt

4:0

 

Format System

Opcode 0xD5088000

Extension Base (System)

Operands

• Xt
  VA

Related

Other forms of tlbi

• tlbi TLB Invalidate (All)
• tlbi TLB Invalidate

More in Base (System)

Reference

View in Arm A64 ISA Reference ↗ Arm A64 ISA

Instruction Forms

Encoding	Instruction		ISA		Bit pattern
0xD5088000	TLBI <tlbi_op>{, <Xt>}		A64		1101010100 | 0 | 01 | op1 | CRn | CRm | op2 | Rt

Description

TLB Invalidate operation. For more information, see op0==0b01, cache maintenance, TLB maintenance, and address translation instructions.