[Xen-devel] evtchn_do_upcall() barrier between upcall_pending and pending_sel

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxxx>]

Hello,

In evtchn_do_upcall() there is a barrier between setting upcall_pending
and pending_sel, which makes sense to avoid losing events, however I
don't understand why it is a rmb(). memory-barriers.txt says that rmb()
only provides ordering of reads, not stores.  Shouldn't that be a wmb()
instead then?

Samuel

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel