Hi Stefano,
On 08/11/16 19:42, Stefano Stabellini wrote:
@@ -1189,7 +1194,10 @@ static int __init gicv2_init(void)
printk(XENLOG_WARNING
"GICv2: Adjusting CPU interface base to %#"PRIx64"\n",
cbase + aliased_offset);
- }
+ } else if ( csize == SZ_128K )
+ printk(XENLOG_WARNING
+ "GICv2: GICC size=%lu but not aliased\n",
+ csize);
The indentation looks wrong here.
With that:
Acked-by: Julien Grall <julien.gr...@arm.com>
Regards,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
