SFENCE.VMA

Supervisor Fence Virtual Memory

SFENCE.VMA rs1, rs2

Synchronizes updates to in-memory address translation data structures (TLB flush).

Details

SFENCE.VMA is a fence for virtual memory management. It guarantees that preceding stores to the page table are visible to subsequent page-table walks. The rs1 and rs2 operands optionally restrict the fence to a specific virtual address and ASID.

Pseudocode Operation

Fence(PageTable);

Example

SFENCE.VMA x0, x0

Encoding

Binary Layout
0001001
31:25
rs2
24:20
rs1
19:15
000
14:12
00000
11:7
1110011
6:0
 
Format R-Type (System)
Opcode 0x73
Extension Privileged

Operands

  • rs1
    Virtual Address (optional)
  • rs2
    ASID (optional)