Searched defs:gicv2_get_pending_interrupt_id (Results 1 – 2 of 2) sorted by relevance
210 unsigned int gicv2_get_pending_interrupt_id(void) in gicv2_get_pending_interrupt_id() function
209 unsigned int gicv2_get_pending_interrupt_id(void) in gicv2_get_pending_interrupt_id() function