|
|
|
|
|
|
|
|
|
|
xen-devel
[Xen-devel] evtchn_do_upcall() barrier between upcall_pending and pendin
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
|
<Prev in Thread] |
Current Thread |
[Next in Thread>
|
- [Xen-devel] evtchn_do_upcall() barrier between upcall_pending and pending_sel,
Samuel Thibault <=
|
|
|
|
|