|
@@ -529,7 +529,7 @@ void xen_evtchn_do_upcall(struct pt_regs *regs)
|
|
|
|
|
|
#ifndef CONFIG_X86 /* No need for a barrier -- XCHG is a barrier on x86. */
|
|
#ifndef CONFIG_X86 /* No need for a barrier -- XCHG is a barrier on x86. */
|
|
/* Clear master flag /before/ clearing selector flag. */
|
|
/* Clear master flag /before/ clearing selector flag. */
|
|
- rmb();
|
|
|
|
|
|
+ wmb();
|
|
#endif
|
|
#endif
|
|
pending_words = xchg(&vcpu_info->evtchn_pending_sel, 0);
|
|
pending_words = xchg(&vcpu_info->evtchn_pending_sel, 0);
|
|
while (pending_words != 0) {
|
|
while (pending_words != 0) {
|