Searched refs:gicd_int_pending (Results 1 – 1 of 1) sorted by relevance
55 static uint32_t gicd_int_pending(GICv3State *s, int irq) in gicd_int_pending() function277 pend = gicd_int_pending(s, i & ~0x1f); in gicv3_update_noirqset()