35 #define INTID_IS_SGI(intid)	(0       <= (intid) && (intid) < MIN_PPI)  argument
36 #define INTID_IS_PPI(intid)	(MIN_PPI <= (intid) && (intid) < MIN_SPI)  argument
37 #define INTID_IS_SPI(intid)	(MIN_SPI <= (intid) && (intid) <= MAX_SPI)  argument
40 void gic_irq_enable(unsigned int intid);
41 void gic_irq_disable(unsigned int intid);
43 void gic_set_eoi(unsigned int intid);
44 void gic_set_dir(unsigned int intid);
52 void gic_set_priority(uint32_t intid, uint32_t prio);
53 void gic_irq_set_active(unsigned int intid);
54 void gic_irq_clear_active(unsigned int intid);
55 bool gic_irq_get_active(unsigned int intid);
56 void gic_irq_set_pending(unsigned int intid);
57 void gic_irq_clear_pending(unsigned int intid);
58 bool gic_irq_get_pending(unsigned int intid);
59 void gic_irq_set_config(unsigned int intid, bool is_edge);