On 07/08/2017 09:49 PM, Emilio G. Cota wrote:
+    atomic_set(&env->tlb_flush_count, env->tlb_flush_count + 1);

Want atomic_read here, so they're all the same.

Otherwise,

Reviewed-by: Richard Henderson <r...@twiddle.net>


r~

Reply via email to