Re: [Xen-devel] IPI sending difference between x86 and ARM

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 10.09.14 at 12:01, <Ian.Campbell@xxxxxxxxxxxxx> wrote:
> Anyway, if smp_send_event_check_mask is supposed to exclude the calling
> CPU then we should fix that on ARM in the name of consistency/sanity. In
> the event it causes other issues then we should fix those as they arise.

Actually I was instead considering to filter the local CPU in
cpumask_raise_softirq(), just like cpu_raise_softirq() does. That
would make changes to smp_send_event_check_mask()
unnecessary.

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel