GIC_LINE_NR
pr_info("%d SPIs implemented\n", GIC_LINE_NR - 32);
for (i = 32; i < GIC_LINE_NR; i += 32)
gic_dist_config(base, GIC_LINE_NR, dist_prio_irq);
for (i = 32; i < GIC_LINE_NR; i++)