Hi Chen,
On 23/05/2015 15:52, Chen Baozi wrote:
From: Chen Baozi <baoz...@gmail.com>
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@lists.xen.org
http://lists.xen.org/xen-devel
