Hi, 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 <[email protected]>
Reviewed-by: Julien Grall <[email protected]> Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
