Several existing platforms which sport an A15 compatible GIC to not include the extended GIC cpu interface regisiters in their device tree. Fix these. Also extend the bindings to cope with cpu intefface registers which are not in contiguous pages. Ian. -- 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