`hinval.gvma` has the same semantics as `sinval.vma` except that it combines with `sfence.w.inval` and `sfence.inval.ir` to replace `hfence.gvma` and uses VMID instead of ASID.
hinval.gvma xs1, xs2
Type:
open hinval.gvma in rvcodecjs