Function hfence_gvma_gaddr

Hypervisor memory management fence for guest physical address

Guarantees that any previous stores already visible to the current hart are ordered before all implicit reads by that hart done for G-stage address translation for instructions that follow the HFENCE.GVMA.

This fence specifies a single guest physical address; the physical address should be shifted right by 2 bits.