Commit f2642071 authored by Keir Fraser's avatar Keir Fraser

minios: in non-x86 case, use wmb to enforce ordering between

evtchn_upcall_pending and evtchn_pending_sel stores.
Signed-off-by: default avatarSamuel Thibault <samuel.thibault@eu.citrix.com>
parent 8593bd3c
......@@ -46,7 +46,11 @@ void do_hypervisor_callback(struct pt_regs *regs)
in_callback = 1;
vcpu_info->evtchn_upcall_pending = 0;
/* NB. No need for a barrier here -- XCHG is a barrier on x86. */
/* NB x86. No need for a barrier here -- XCHG is a barrier on x86. */
#if !defined(__i386__) && !defined(__x86_64__)
/* Clear master flag /before/ clearing selector flag. */
wmb();
#endif
l1 = xchg(&vcpu_info->evtchn_pending_sel, 0);
while ( l1 != 0 )
{
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment