Searched refs:gicv3_get_pending_interrupt_id (Results 1 – 3 of 3) sorted by relevance
59 irqnr = gicv3_get_pending_interrupt_id(); in plat_ic_get_pending_interrupt_id()
559 unsigned int gicv3_get_pending_interrupt_id(void);
391 unsigned int gicv3_get_pending_interrupt_id(void) in gicv3_get_pending_interrupt_id() function