66 void gic_irq_enable(unsigned int intid)  in gic_irq_enable()
72 void gic_irq_disable(unsigned int intid)  in gic_irq_disable()
81 	unsigned int intid;  in gic_get_and_ack_irq()  local
91 void gic_set_eoi(unsigned int intid)  in gic_set_eoi()
97 void gic_set_dir(unsigned int intid)  in gic_set_dir()
115 void gic_set_priority(unsigned int intid, unsigned int prio)  in gic_set_priority()
121 void gic_irq_set_active(unsigned int intid)  in gic_irq_set_active()
127 void gic_irq_clear_active(unsigned int intid)  in gic_irq_clear_active()
133 bool gic_irq_get_active(unsigned int intid)  in gic_irq_get_active()
139 void gic_irq_set_pending(unsigned int intid)  in gic_irq_set_pending()
145 void gic_irq_clear_pending(unsigned int intid)  in gic_irq_clear_pending()
151 bool gic_irq_get_pending(unsigned int intid)  in gic_irq_get_pending()
157 void gic_irq_set_config(unsigned int intid, bool is_edge)  in gic_irq_set_config()