Re: [PATCH for-4.15] xen/sched: Add missing memory barrier in vcpu_block()

[Ian Jackson <iwj@xxxxxxxxxxxxxx>]

Julien Grall writes ("[PATCH for-4.15] xen/sched: Add missing memory barrier in 
vcpu_block()"):
> From: Julien Grall <jgrall@xxxxxxxxxx>
> 
> The comment in vcpu_block() states that the events should be checked
> /after/ blocking to avoids wakeup waiting race. However, from a generic
> perspective, set_bit() doesn't prevent re-ordering. So the following
> could happen:

Release-Acked-by: Ian Jackson <iwj@xxxxxxxxxxxxxx>