Searched refs:gic_irqs (Results 1 – 1 of 1) sorted by relevance
181 unsigned int gic_irqs, i; in gic_dist_init() local185 gic_irqs = sys_read32(GICD_TYPER) & 0x1f; in gic_dist_init()186 gic_irqs = (gic_irqs + 1) * 32; in gic_dist_init()187 if (gic_irqs > 1020) { in gic_dist_init()188 gic_irqs = 1020; in gic_dist_init()208 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 4) { in gic_dist_init()215 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 16) { in gic_dist_init()220 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 4) { in gic_dist_init()225 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 32) { in gic_dist_init()233 for (i = GIC_SPI_INT_BASE; i < gic_irqs; i += 32) { in gic_dist_init()
