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);
+void gic_cpu_if_down(void);
+
static inline void gic_init(unsigned int nr, int start,
void __iomem *dist , void __iomem *cpu)
{
void gic_migrate_target(unsigned int new_cpu_id);
unsigned long gic_get_sgir_physaddr(void);
-#endif /* __ASSEMBLY */
+#endif /* __ASSEMBLY */
+
+ extern const struct irq_domain_ops *gic_routable_irq_domain_ops;
+ static inline void __init register_routable_domain_ops
+ (const struct irq_domain_ops *ops)
+ {
+ gic_routable_irq_domain_ops = ops;
+ }
#endif