From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH RFC 13/15] libxc: arm64 vcpu initialisation Date: Thu, 10 Oct 2013 17:04:50 +0100 Message-ID: <5256D022.70403@linaro.org> References: <1381163944.21562.129.camel@kazak.uk.xensource.com> <1381164001-1446-13-git-send-email-ian.campbell@citrix.com> <5256CDBA.5000902@linaro.org> <1381420789.17758.51.camel@kazak.uk.xensource.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1381420789.17758.51.camel@kazak.uk.xensource.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Ian Campbell Cc: stefano.stabellini@eu.citrix.com, tim@xen.org, xen-devel@lists.xen.org List-Id: xen-devel@lists.xenproject.org On 10/10/2013 04:59 PM, Ian Campbell wrote: >> BTW, can you use PSR_GUEST64_INIT here? So if we modified it in Xen, the >> behaviour will also change here. > > It's a bit annoying, but PSR_GUEST*_INIT are no in the public interfaces > and libxc can't include anything else. I don't want to expose this to > guests incase it becomes ABI... Until the commit bcac10f "xen: arm: support building a 64-bit dom0 domain", PSR_GUEST*_INIT was in the public interface. I'm not sure why you have removed from the interface. > Oh, maybe I can just us #if on __XEN_TOOLS__ and/or __XEN__ as > appropaite. Guest doesn't need that, but tools should have the same PSR as Linux. Why boot VCPU initialization can't be done in Xen? -- Julien Grall