subject:"\[Xen\-devel\] \[PATCH 1\/7\] events\: drop arch_evtchn_inject\(\)"

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

2019-03-11 Thread Julien Grall

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 Reviewed-by: Julien Grall Ch

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

2019-03-11 Thread Andrew Cooper

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 Reviewed-by: Andrew Cooper

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

2019-03-11 Thread Jan Beulich

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 --- a/xen/arch/arm/vgic.c +++ b/xen/arch/arm/vgic.c @@ -597,11 +597,6 @@ out: