hfence.vvma

Hypervisor fence guest virtual address

Invalidates any address-translation cache entries that a subsequent implicit memory access to guest virtual memory may use. The instruction applies to guest virtual addresses within the range specified by xs1 and xs2, for all address spaces if xs2=0, or for the address space identified by the ASID in xs2 otherwise. Only entries for the current virtual machine (as identified by hgatp.VMID) are affected.

Assembly format

hfence.vvma xs1, xs2

Decode Variables

Bits<5> xs2 = $encoding[24:20];
Bits<5> xs1 = $encoding[19:15];

Execution

Encoding

svg

Defining extension

H

Access

M

Always

Containing profiles

  • Mandatory: RVA20S64, RVA20U64, RVA22S64, RVA22U64, RVA23S64, RVA23U64, RVB23S64, RVB23U64

  • Optional: None