63 static inline void int_enable_distributor(void)  in int_enable_distributor()  argument
72 static inline void int_disable_distributor(void)  in int_disable_distributor()  argument
81 static inline void int_enable_secure_signal(void)  in int_enable_secure_signal()  argument
90 static inline void int_disable_secure_signal(void)  in int_disable_secure_signal()  argument
99 static inline void int_enable_nosecure_signal(void)  in int_enable_nosecure_signal()  argument
108 static inline void int_disable_nosecure_signal(void)  in int_disable_nosecure_signal()  argument
218 static int gic_irq_get(void)  in gic_irq_get()  argument
230 static int gic_irq_suspend(void)  in gic_irq_suspend()  argument
284 static int gic_irq_resume(void)  in gic_irq_resume()  argument
355 static int gic_irq_init(void)  in gic_irq_init()  argument
409 struct irq_chip *arch_gic_get_irqchip(void)  in arch_gic_get_irqchip()  argument