hfence.vvma

Hypervisor fence guest virtual address

This instruction is defined by:

Encoding

svg

Synopsis

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.

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