Searched refs:gic_irqs (Results 1 – 1 of 1) sorted by relevance
156 unsigned int gic_irqs, i; in gic_dist_init() local160 gic_irqs = sys_read32(GICD_TYPER) & 0x1f; in gic_dist_init()161 gic_irqs = (gic_irqs + 1) * 32; in gic_dist_init()162 if (gic_irqs > 1020) { in gic_dist_init()163 gic_irqs = 1020; in gic_dist_init()183 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 4) { in gic_dist_init()190 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 16) { in gic_dist_init()195 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 4) { in gic_dist_init()200 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 32) { in gic_dist_init()208 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 32) { in gic_dist_init()
