diff --git a/drivers/irqchip/irq-gic.c b/drivers/irqchip/irq-gic.cCan't that be something private to the v2m widget driver? I don't think
>index a99c211..4069eb3 100644
>--- a/drivers/irqchip/irq-gic.c
>+++ b/drivers/irqchip/irq-gic.c
>@@ -46,6 +46,7 @@
> #include <asm/smp_plat.h>
>
> #include "irq-gic-common.h"
>+#include "irq-gic-v2m.h"
> #include "irqchip.h"
>
> union gic_base {
>@@ -68,6 +69,9 @@ struct gic_chip_data {
> #ifdef CONFIG_GIC_NON_BANKED
> void __iomem *(*get_base)(union gic_base *);
> #endif
>+#ifdef CONFIG_ARM_GIC_V2M
>+ struct list_head v2m_list;
>+#endif
it brings anything to the main GIC driver.