pub unsafe fn hfence_vvma_vaddr(vaddr: usize)
Hypervisor memory management fence for given guest virtual address
Guarantees that any previous stores already visible to the current hart are ordered before all implicit reads by that hart done for VS-stage address translation for instructions that:
- are subsequent to the
- execute when
hgatp.VMIDhas the same setting as it did when
This fence specifies a single guest virtual address.