Searched refs:icc_activate_irq (Results 1 – 1 of 1) sorted by relevance
1158 static void icc_activate_irq(GICv3CPUState *cs, int irq) in icc_activate_irq() function1278 icc_activate_irq(cs, intid); in icc_iar0_read()1305 icc_activate_irq(cs, intid); in icc_iar1_read()1332 icc_activate_irq(cs, intid); in icc_nmiar1_read()