393 	unsigned int id;  in gicv3_get_pending_interrupt_id()  local
433 unsigned int gicv3_get_interrupt_group(unsigned int id, unsigned int proc_num)  in gicv3_get_interrupt_group()
943 unsigned int gicv3_get_interrupt_active(unsigned int id, unsigned int proc_num)  in gicv3_get_interrupt_active()
972 void gicv3_enable_interrupt(unsigned int id, unsigned int proc_num)  in gicv3_enable_interrupt()
1006 void gicv3_disable_interrupt(unsigned int id, unsigned int proc_num)  in gicv3_disable_interrupt()
1047 void gicv3_set_interrupt_priority(unsigned int id, unsigned int proc_num,  in gicv3_set_interrupt_priority()
1078 void gicv3_set_interrupt_group(unsigned int id, unsigned int proc_num,  in gicv3_set_interrupt_group()
1203 void gicv3_set_spi_routing(unsigned int id, unsigned int irm, u_register_t mpidr)  in gicv3_set_spi_routing()
1238 void gicv3_clear_interrupt_pending(unsigned int id, unsigned int proc_num)  in gicv3_clear_interrupt_pending()
1273 void gicv3_set_interrupt_pending(unsigned int id, unsigned int proc_num)  in gicv3_set_interrupt_pending()
1429 static bool is_valid_interrupt(unsigned int id)  in is_valid_interrupt()