On Tue, 2015-04-07 at 15:33 +0800, Chen Baozi wrote: > From: Chen Baozi <baoz...@gmail.com> > > 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 <baoz...@gmail.com>
I think we concluded this was correct for arm64, so acked + applied. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
