hfence.gvma

Hypervisor fence guest-physical address

This instruction is defined by:

Encoding

svg

Synopsis

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.

Access

M HS U VS VU

Always

Always

Always

Always

Always

Decode Variables

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

Execution

  • Pruned, XLEN == 64

  • Original