Merge branch 'iks_for_rmk' of git://git.linaro.org/people/nico/linux into devel-stable
[firefly-linux-kernel-4.4.55.git] / include / linux / irqchip / arm-gic.h
index 2d7d47e8dfaffc336976e52d4190731bbb2eb166..46544e381bf9b4d83ace1bb7b47614daaa9c1283 100644 (file)
@@ -68,6 +68,7 @@ extern struct irq_chip gic_arch_extn;
 void gic_init_bases(unsigned int, int, void __iomem *, void __iomem *,
                    u32 offset, struct device_node *);
 void gic_cascade_irq(unsigned int gic_nr, unsigned int irq);
+void gic_cpu_if_down(void);
 
 static inline void gic_init(unsigned int nr, int start,
                            void __iomem *dist , void __iomem *cpu)