HFENCE.GVMA

Hypervisor Fence Guest Virtual Memory Address

HFENCE.GVMA rs1, rs2

Synchronizes updates to guest physical address translation data structures.

Details

HFENCE.GVMA orders implicit reads and writes to G-stage page tables, ensuring preceding stores to the second-stage page table are visible to subsequent VS-mode address translations. rs1 optionally restricts the fence to a guest physical address; rs2 optionally restricts it to a VMID.

Pseudocode Operation

Fence(GuestPageTable);

Example

HFENCE.GVMA x0, x0

Encoding

Binary Layout
0110001
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
    Guest Virtual Address (optional)
  • rs2
    Guest ASID (optional)