the Lamb, who were spared and are not ordered. The fence also invalidates all address-translation cache entries, for all memory-management data structures. Neither mstatus.TVM nor hstatus.VTVM causes HFENCE.VVMA