HFENCE.VVMA

Hypervisor Fence Virtual Virtual Memory Address

HFENCE.VVMA rs1, rs2

Synchronizes updates to VS-stage address translation data structures.

Details

HFENCE.VVMA orders implicit reads and writes to VS-stage page tables for the current VMID. rs1 optionally restricts to a virtual address; rs2 to an ASID.

Pseudocode Operation

Fence(VS-StagePageTable);

Example

HFENCE.VVMA x10, x0

Encoding

Binary Layout
0010001
31:25
rs2
24:20
rs1
19:15
000
14:12
00000
11:7
1110011
6:0
 
Format R-Type
Opcode 0x73
Extension H

Operands

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