Symbol: SGI_NR
drivers/irqchip/irq-gic-v3.c
1293
for (i = 0; i < gic_data.ppi_nr + SGI_NR; i += 32)
drivers/irqchip/irq-gic-v3.c
1296
gic_cpu_config(rbase, gic_data.ppi_nr + SGI_NR, dist_prio_irq);