pub unsafe fn sfence_vma_vaddr(vaddr: usize)
Available on RISC-V RV64 only.
Expand description
Supervisor memory management fence for given virtual address
The fence orders only reads and writes made to leaf page table entries corresponding to
the virtual address in parameter vaddr
, for all address spaces.
The fence also invalidates all address-translation cache entries that contain leaf page
table entries corresponding to the virtual address in parameter vaddr
, for all address spaces.