On 15/12/15 13:36, Andre Przywara wrote: > The Foundation model GIC mapping is wrong, as the GICC region should > be 8kB instead of 4kB (the model implements the GICv2 architecture). > This defect prevents the driver from switching to EOImode==1. > > Signed-off-by: Andre Przywara <andre.przywara@xxxxxxx> Reviewed-by: Marc Zyngier <marc.zyngier@xxxxxxx> M. -- Jazz is not dead. It just smells funny... -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html