From: Chen Baozi baoz...@gmail.com
When a guest uses vGICv2, the maximum number of vCPU it can support
should not be as many as MAX_VIRT_CPUS, which will be more than 8
when GICv3 is used on arm64. So the domain_max_vcpus should return
the value according to the vGIC the domain uses.
We didn't
Hi Chen,
On 11/06/2015 09:05, Chen Baozi wrote:
From: Chen Baozi baoz...@gmail.com
When a guest uses vGICv2, the maximum number of vCPU it can support
should not be as many as MAX_VIRT_CPUS, which will be more than 8
when GICv3 is used on arm64.
This sentence is not clear to me. What about: