On 11/03/2019 16:48, Jan Beulich wrote: > Have the only user call vcpu_mark_events_pending() instead, at the same > time arranging for correct ordering of the writes (evtchn_pending_sel > should be written before evtchn_upcall_pending). > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
