Searched refs:gicv2_get_pending_interrupt_id (Results 1 – 3 of 3) sorted by relevance
181 unsigned int gicv2_get_pending_interrupt_id(void);
50 id = gicv2_get_pending_interrupt_id(); in plat_ic_get_pending_interrupt_id()
210 unsigned int gicv2_get_pending_interrupt_id(void) in gicv2_get_pending_interrupt_id() function
