62 void gic_irq_enable(unsigned int intid)  in gic_irq_enable()
68 void gic_irq_disable(unsigned int intid)  in gic_irq_disable()
77 	unsigned int intid;  in gic_get_and_ack_irq()  local
87 void gic_set_eoi(unsigned int intid)  in gic_set_eoi()
93 void gic_set_dir(unsigned int intid)  in gic_set_dir()
111 void gic_set_priority(unsigned int intid, unsigned int prio)  in gic_set_priority()
117 void gic_irq_set_active(unsigned int intid)  in gic_irq_set_active()
123 void gic_irq_clear_active(unsigned int intid)  in gic_irq_clear_active()
129 bool gic_irq_get_active(unsigned int intid)  in gic_irq_get_active()
135 void gic_irq_set_pending(unsigned int intid)  in gic_irq_set_pending()
141 void gic_irq_clear_pending(unsigned int intid)  in gic_irq_clear_pending()
147 bool gic_irq_get_pending(unsigned int intid)  in gic_irq_get_pending()
153 void gic_irq_set_config(unsigned int intid, bool is_edge)  in gic_irq_set_config()