Re: [Xen-devel] [PATCH V2 6/8] tools/libxl: Make DT node of GICv3 according to max_vcpus

[Julien Grall <julien.grall@xxxxxxxxxx>]

Hi Chen,

On 23/05/2015 15:52, Chen Baozi wrote:
> From: Chen Baozi <baozich@xxxxxxxxx>
>
> Since the size of GICR is determined by the number of CPU
> cores, add 'nr_cpus' parameter when creating its DT node
> and set gicr0_size dynamically.
This patch is not necessary, the re-distributor region can be bigger 
without any issue. The OS will know the end of the region with 
GICR_TYPER.Last.
Regards,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel