On 07/04/20 17:25, Richard Henderson wrote:
> 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 rele
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
