392 	unsigned int id;  in gicv3_get_pending_interrupt_id()  local
432 unsigned int gicv3_get_interrupt_group(unsigned int id, unsigned int proc_num)  in gicv3_get_interrupt_group()
936 unsigned int gicv3_get_interrupt_active(unsigned int id, unsigned int proc_num)  in gicv3_get_interrupt_active()
962 void gicv3_enable_interrupt(unsigned int id, unsigned int proc_num)  in gicv3_enable_interrupt()
994 void gicv3_disable_interrupt(unsigned int id, unsigned int proc_num)  in gicv3_disable_interrupt()
1033 void gicv3_set_interrupt_priority(unsigned int id, unsigned int proc_num,  in gicv3_set_interrupt_priority()
1061 void gicv3_set_interrupt_group(unsigned int id, unsigned int proc_num,  in gicv3_set_interrupt_group()
1183 void gicv3_set_spi_routing(unsigned int id, unsigned int irm, u_register_t mpidr)  in gicv3_set_spi_routing()
1218 void gicv3_clear_interrupt_pending(unsigned int id, unsigned int proc_num)  in gicv3_clear_interrupt_pending()
1251 void gicv3_set_interrupt_pending(unsigned int id, unsigned int proc_num)  in gicv3_set_interrupt_pending()
1402 static bool is_sgi_ppi(unsigned int id)  in is_sgi_ppi()