On Tue, 17 Jan 2017, Marc Zyngier wrote: > Add a bunch of GICv4-specific data structures that will get used in > subsequent patches. > > Signed-off-by: Marc Zyngier <marc.zyngier at arm.com> Reviewed-by: Thomas Gleixner <tglx at linutronix.de>