Re: [Xen-devel] [PATCH v4 0/4] xen/arm: arm64: Widen register access to mpidr to 64-bits

2016-06-01 Thread Edgar E. Iglesias
On Wed, Jun 01, 2016 at 11:37:55AM +0100, Julien Grall wrote: > > > On 01/06/16 10:29, Stefano Stabellini wrote: > >Hi Wei Liu, Julien, > > Hi Stefano, > > > > >this series is a bug fix. I think it should go in Xen 4.7, do you agree? > > Some changes in this series impact the emulation of PSCI

Re: [Xen-devel] [PATCH v4 0/4] xen/arm: arm64: Widen register access to mpidr to 64-bits

2016-06-01 Thread Julien Grall
On 01/06/16 10:29, Stefano Stabellini wrote: Hi Wei Liu, Julien, Hi Stefano, this series is a bug fix. I think it should go in Xen 4.7, do you agree? Some changes in this series impact the emulation of PSCI for guest (see target_affinity_mask in vpsci.c). Looking at the code again, they

Re: [Xen-devel] [PATCH v4 0/4] xen/arm: arm64: Widen register access to mpidr to 64-bits

2016-06-01 Thread Wei Liu
On Wed, Jun 01, 2016 at 10:29:56AM +0100, Stefano Stabellini wrote: > Hi Wei Liu, Julien, > > this series is a bug fix. I think it should go in Xen 4.7, do you agree? > Yes Release-acked-by: Wei Liu > > On Tue, 31 May 2016, Wei Chen wrote: > > bits are expanded to 64-bits. But Xen 64-bit ARM

Re: [Xen-devel] [PATCH v4 0/4] xen/arm: arm64: Widen register access to mpidr to 64-bits

2016-06-01 Thread Stefano Stabellini
Hi Wei Liu, Julien, this series is a bug fix. I think it should go in Xen 4.7, do you agree? On Tue, 31 May 2016, Wei Chen wrote: > bits are expanded to 64-bits. But Xen 64-bit ARM code treats this it > as 32-bit register. > We have to provide correct accessing to this register to avoid > unexpe

[Xen-devel] [PATCH v4 0/4] xen/arm: arm64: Widen register access to mpidr to 64-bits

2016-05-30 Thread Wei Chen
In ARM64 the MPIDR register is mapped to MPIDR_EL1, and the register bits are expanded to 64-bits. But Xen 64-bit ARM code treats this it as 32-bit register. We have to provide correct accessing to this register to avoid unexpected issues that is caused by incorrect MPIDR value. Wei Chen (4): xe