From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ian Campbell <ian.campbell@citrix.com>
Subject: Re: [PATCH] xen/arm64: Avoid sending SGI when kicking
 secondary cpus with spin_table
Date: Fri, 8 May 2015 17:39:50 +0100
Message-ID: <1431103190.2660.543.camel@citrix.com>
References: <1428392032-11551-1-git-send-email-cbz@baozis.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <1428392032-11551-1-git-send-email-cbz@baozis.org>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Chen Baozi <cbz@baozis.org>
Cc: Chen Baozi <baozich@gmail.com>, julien.grall@linaro.org, xen-devel@lists.xen.org
List-Id: xen-devel@lists.xenproject.org

On Tue, 2015-04-07 at 15:33 +0800, Chen Baozi wrote:
> From: Chen Baozi <baozich@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 <baozich@gmail.com>

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