Re: [Xen-devel] [RFC 1/4] xen/arm64: Map the redistributor region by max_vcpus of domU danamically

Hi Chen, On 14/05/15 15:14, Chen Baozi wrote: > diff --git a/xen/common/domctl.c b/xen/common/domctl.c > index e571e76..43b9f79 100644 > --- a/xen/common/domctl.c > +++ b/xen/common/domctl.c > @@ -33,6 +33,11 @@ > #include > #include > > +#ifdef CONFIG_ARM_64 > +#include > +#include > +#en

[Xen-devel] [RFC 1/4] xen/arm64: Map the redistributor region by max_vcpus of domU danamically

From: Chen Baozi The number of redistributor is determined by the number of CPU interface. So we postpone redistributor mmio size initialization to the point when the max_vcpus is set. Signed-off-by: Chen Baozi --- xen/arch/arm/vgic-v3.c | 24 +++- xen/common/domctl.c