From: Chen Baozi baoz...@gmail.com
Currently it only supports up to 8 vCPUs. Increase the region to hold
up to 128 vCPUs, which is the maxium number that GIC-500 supports.
Signed-off-by: Chen Baozi baoz...@gmail.com
---
xen/include/public/arch-arm.h | 4 ++--
1 file changed, 2 insertions(+), 2
Hi Chen,
On 23/05/2015 14:52, Chen Baozi wrote:
From: Chen Baozi baoz...@gmail.com
Currently it only supports up to 8 vCPUs. Increase the region to hold
up to 128 vCPUs, which is the maxium number that GIC-500 supports.
Signed-off-by: Chen Baozi baoz...@gmail.com
Reviewed-by: Julien Grall