[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.