Lines Matching full:intid

13 	void (*gic_irq_enable)(unsigned int intid);
14 	void (*gic_irq_disable)(unsigned int intid);
20 	void (*gic_set_priority)(uint32_t intid, uint32_t prio);
21 	void (*gic_irq_set_active)(uint32_t intid);
22 	void (*gic_irq_clear_active)(uint32_t intid);
23 	bool (*gic_irq_get_active)(uint32_t intid);
24 	void (*gic_irq_set_pending)(uint32_t intid);
25 	void (*gic_irq_clear_pending)(uint32_t intid);
26 	bool (*gic_irq_get_pending)(uint32_t intid);
27 	void (*gic_irq_set_config)(uint32_t intid, bool is_edge);
28 	void (*gic_irq_set_group)(uint32_t intid, bool group);