Searched refs:gicv3_get_pending_interrupt_id (Results 1 – 3 of 3) sorted by relevance
56 irqnr = gicv3_get_pending_interrupt_id(); in plat_ic_get_pending_interrupt_id()
377 unsigned int gicv3_get_pending_interrupt_id(void);
388 unsigned int gicv3_get_pending_interrupt_id(void) in gicv3_get_pending_interrupt_id() function