Hi Chen,
On 23/05/2015 15:52, Chen Baozi wrote:
From: Chen Baozi baoz...@gmail.com
Use the AFF1 value of ICC_SGI1R_EL1 when injecting SGI in vGIC,
which expands the number of supported vCPU more than 16 that
target list bitmap can hold independently.
Signed-off-by: Chen Baozi
From: Chen Baozi baoz...@gmail.com
Use the AFF1 value of ICC_SGI1R_EL1 when injecting SGI in vGIC,
which expands the number of supported vCPU more than 16 that
target list bitmap can hold independently.
Signed-off-by: Chen Baozi baoz...@gmail.com
---
xen/arch/arm/vgic.c | 10 --
1 file