212 	unsigned int id;  in gicv2_get_pending_interrupt_id()  local
246 void gicv2_end_of_interrupt(unsigned int id)  in gicv2_end_of_interrupt()
269 unsigned int gicv2_get_interrupt_group(unsigned int id)  in gicv2_get_interrupt_group()
333 unsigned int gicv2_get_interrupt_active(unsigned int id)  in gicv2_get_interrupt_active()
345 void gicv2_enable_interrupt(unsigned int id)  in gicv2_enable_interrupt()
362 void gicv2_disable_interrupt(unsigned int id)  in gicv2_disable_interrupt()
380 void gicv2_set_interrupt_priority(unsigned int id, unsigned int priority)  in gicv2_set_interrupt_priority()
393 void gicv2_set_interrupt_group(unsigned int id, unsigned int group)  in gicv2_set_interrupt_group()
457 void gicv2_set_spi_routing(unsigned int id, int proc_num)  in gicv2_set_spi_routing()
490 void gicv2_clear_interrupt_pending(unsigned int id)  in gicv2_clear_interrupt_pending()
509 void gicv2_set_interrupt_pending(unsigned int id)  in gicv2_set_interrupt_pending()
553 void gicv2_interrupt_set_cfg(unsigned int id, unsigned int cfg)  in gicv2_interrupt_set_cfg()