|
@@ -66,6 +66,7 @@ extern struct irq_chip gic_arch_extn;
|
|
void gic_init_bases(unsigned int, int, void __iomem *, void __iomem *,
|
|
void gic_init_bases(unsigned int, int, void __iomem *, void __iomem *,
|
|
u32 offset, struct device_node *);
|
|
u32 offset, struct device_node *);
|
|
void gic_cascade_irq(unsigned int gic_nr, unsigned int irq);
|
|
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,
|
|
static inline void gic_init(unsigned int nr, int start,
|
|
void __iomem *dist , void __iomem *cpu)
|
|
void __iomem *dist , void __iomem *cpu)
|