Lines Matching refs:GIC_NIRQ
85 gic_irq_state irq_state[GIC_NIRQ];
87 int irq_target[GIC_NIRQ];
90 int priority2[GIC_NIRQ - 32];
91 int last_active[GIC_NIRQ][NCPU];
121 for (irq = 0; irq < GIC_NIRQ; irq++) {
258 return ((GIC_NIRQ / 32) - 1) | ((NCPU - 1) << 5);
270 if (irq >= GIC_NIRQ)
285 if (irq >= GIC_NIRQ)
297 if (irq >= GIC_NIRQ)
309 if (irq >= GIC_NIRQ)
316 if (irq >= GIC_NIRQ)
326 if (irq >= GIC_NIRQ)
399 if (irq >= GIC_NIRQ)
421 if (irq >= GIC_NIRQ)
435 if (irq >= GIC_NIRQ)
448 if (irq >= GIC_NIRQ)
464 if (irq >= GIC_NIRQ)
475 if (irq >= GIC_NIRQ)
485 if (irq >= GIC_NIRQ)
622 memset(s->irq_state, 0, GIC_NIRQ * sizeof(gic_irq_state));
661 for (j = 0; j < GIC_NIRQ; j++)
668 for (i = 0; i < GIC_NIRQ - 32; i++) {
671 for (i = 0; i < GIC_NIRQ; i++) {
698 for (j = 0; j < GIC_NIRQ; j++)
705 for (i = 0; i < GIC_NIRQ - 32; i++) {
708 for (i = 0; i < GIC_NIRQ; i++) {
724 qdev_init_gpio_in(&s->busdev.qdev, gic_set_irq, GIC_NIRQ - 32);
