diff options
Diffstat (limited to 'extras/mini-os/hypervisor.c')
-rw-r--r-- | extras/mini-os/hypervisor.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/extras/mini-os/hypervisor.c b/extras/mini-os/hypervisor.c index 3bb47a424d..acc9494c01 100644 --- a/extras/mini-os/hypervisor.c +++ b/extras/mini-os/hypervisor.c @@ -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 ) { |