On 4/7/20 7:07 AM, Paolo Bonzini wrote: > +- release operations will appear to happen, with respect to the other > + components of the system, after all the LOAD or STORE operations > + specified afterwards.
"specified before", not after for release. Otherwise, Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~