Re: [Xen-devel] [PATCH 1/7] events: drop arch_evtchn_inject()

[Julien Grall <julien.grall@xxxxxxx>]

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 <jbeulich@xxxxxxxx>
Reviewed-by: Julien Grall <julien.grall@xxxxxxx>

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel