77 static enum gicv3_intid_range get_intid_range(unsigned int intid)  in get_intid_range()
168 static void gicv3_access_reg(uint32_t intid, uint64_t offset,  in gicv3_access_reg()
200 static void gicv3_write_reg(uint32_t intid, uint64_t offset,  in gicv3_write_reg()
207 static uint32_t gicv3_read_reg(uint32_t intid, uint64_t offset,  in gicv3_read_reg()
217 static void gicv3_set_priority(uint32_t intid, uint32_t prio)  in gicv3_set_priority()
223 static void gicv3_irq_set_config(uint32_t intid, bool is_edge)  in gicv3_irq_set_config()
233 static void gicv3_irq_enable(uint32_t intid)  in gicv3_irq_enable()
242 static void gicv3_irq_disable(uint32_t intid)  in gicv3_irq_disable()
251 static void gicv3_irq_set_active(uint32_t intid)  in gicv3_irq_set_active()
256 static void gicv3_irq_clear_active(uint32_t intid)  in gicv3_irq_clear_active()
261 static bool gicv3_irq_get_active(uint32_t intid)  in gicv3_irq_get_active()
266 static void gicv3_irq_set_pending(uint32_t intid)  in gicv3_irq_set_pending()
271 static void gicv3_irq_clear_pending(uint32_t intid)  in gicv3_irq_clear_pending()
276 static bool gicv3_irq_get_pending(uint32_t intid)  in gicv3_irq_get_pending()