From aec0c76f2272eb6551a370a24a0c53b32efbb9bf Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Thu, 8 May 2008 11:55:13 +0100 Subject: minios: in non-x86 case, use wmb to enforce ordering between evtchn_upcall_pending and evtchn_pending_sel stores. Signed-off-by: Samuel Thibault --- extras/mini-os/hypervisor.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'extras/mini-os/hypervisor.c') 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 ) { -- cgit v1.2.3