Re: [Xen-devel] [PATCH RFC 13/15] libxc: arm64 vcpu initialisation

[Julien Grall <julien.grall@xxxxxxxxxx>]

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

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