Hi Julien,
On May 31, 2015, at 21:14, Julien Grall julien.gr...@citrix.com wrote:
Hi Chen,
On 30/05/2015 12:07, Chen Baozi wrote:
From: Chen Baozi baoz...@gmail.com
To support more than 16 vCPUs, we have to calculate cpumask with AFF1
field value in ICC_SGI1R_EL1.
Signed-off-by:
On 31/05/2015 16:25, Chen Baozi wrote:
On May 31, 2015, at 21:14, Julien Grall julien.gr...@citrix.com wrote:
On 30/05/2015 12:07, Chen Baozi wrote:
From: Chen Baozi baoz...@gmail.com
To support more than 16 vCPUs, we have to calculate cpumask with AFF1
field value in ICC_SGI1R_EL1.
On Sat, May 30, 2015 at 07:07:26PM +0800, Chen Baozi wrote:
From: Chen Baozi baoz...@gmail.com
To support more than 16 vCPUs, we have to calculate cpumask with AFF1
field value in ICC_SGI1R_EL1.
Signed-off-by: Chen Baozi baoz...@gmail.com
---
xen/arch/arm/vgic-v3.c| 9
Hi Chen,
On 30/05/2015 12:07, Chen Baozi wrote:
From: Chen Baozi baoz...@gmail.com
To support more than 16 vCPUs, we have to calculate cpumask with AFF1
field value in ICC_SGI1R_EL1.
Signed-off-by: Chen Baozi baoz...@gmail.com
---
xen/arch/arm/vgic-v3.c| 9 -
From: Chen Baozi baoz...@gmail.com
To support more than 16 vCPUs, we have to calculate cpumask with AFF1
field value in ICC_SGI1R_EL1.
Signed-off-by: Chen Baozi baoz...@gmail.com
---
xen/arch/arm/vgic-v3.c| 9 -
xen/include/asm-arm/gic_v3_defs.h | 3 +++
2 files changed, 11