Re: [PATCH 4/8] edu: add smp_mb__after_rmw()

[Richard Henderson]

On 3/3/23 09:19, Paolo Bonzini wrote:

Ensure ordering between clearing the COMPUTING flag and checking
IRQFACT, and between setting the IRQFACT flag and checking
COMPUTING.  This ensures that no wakeups are lost.

Signed-off-by: Paolo Bonzini<pbonz...@redhat.com>
---
  hw/misc/edu.c | 5 +++++
  1 file changed, 5 insertions(+)

Reviewed-by: Richard Henderson <richard.hender...@linaro.org>

r~