Re: [Xen-devel] [PATCH] xen/arm64: Avoid sending SGI when kicking secondary cpus with spin_table

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

On Tue, 2015-04-07 at 15:33 +0800, Chen Baozi wrote:
> From: Chen Baozi <baozich@xxxxxxxxx>
> 
> On arm64, either firmware or xen's smp_up_cpu gate uses WFE on secondary
> cpus to stand-by when booting. Thus, using SEV is enough for the boot
> cpu to kick other secondaries. Further more, the current implementation
> of cpu_up_send_sgi would pass a NULL cpumask pointer to send_SGI, which
> then lead a data fault on GICv3 send_SGI implementation.
> 
> Signed-off-by: Chen Baozi <baozich@xxxxxxxxx>

I think we concluded this was correct for arm64, so acked + applied.



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