hfence.gvma

Hypervisor fence guest-physical address

Invalidates any address-translation cache entries that a subsequent implicit memory access to guest physical memory may use. The instruction applies to any guest physical addresses within the range specified by xs1 and xs2, for all address spaces if xs2=0, or for the address space identified by the VMID in xs2 otherwise.

Assembly format

hfence.gvma 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