On Fri, 2015-06-26 at 10:34 +0100, Julien Grall wrote: > It's not necessary to get again from the hardware DT the redistributor > informations. We already have it stored in the gic_info and the domain.
"It's not necessary to get the redistributor information from the hardware again". > Use the latter to be consistent with the rest of the function. > > Signed-off-by: Julien Grall <julien.gr...@citrix.com> Acked-by: Ian Campbell <ian.campb...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
