Searched refs:gicv2_get_pending_interrupt_id (Results 1 – 3 of 3) sorted by relevance
169 unsigned int gicv2_get_pending_interrupt_id(void);
47 id = gicv2_get_pending_interrupt_id(); in plat_ic_get_pending_interrupt_id()
209 unsigned int gicv2_get_pending_interrupt_id(void) in gicv2_get_pending_interrupt_id() function