Searched refs:gicv3_dist_set_irq (Results 1 – 4 of 4) sorted by relevance
385 gicv3_dist_set_irq(s, irq + GIC_INTERNAL, level); in gicv3_set_irq()
609 void gicv3_dist_set_irq(GICv3State *s, int irq, int level);
932 void gicv3_dist_set_irq(GICv3State *s, int irq, int level) in gicv3_dist_set_irq() function
179 gicv3_dist_set_irq(int irq, int level) "GICv3 distributor interrupt %d level changed to %d"