430 void __init gic_cascade_irq(unsigned int gic_nr, unsigned int irq)  in gic_cascade_irq()  argument
432 	BUG_ON(gic_nr >= CONFIG_ARM_GIC_MAX_NR);  in gic_cascade_irq()
434 					 &gic_data[gic_nr]);  in gic_cascade_irq()
549 int gic_cpu_if_down(unsigned int gic_nr)  in gic_cpu_if_down()  argument
554 	if (gic_nr >= CONFIG_ARM_GIC_MAX_NR)  in gic_cpu_if_down()
557 	cpu_base = gic_data_cpu_base(&gic_data[gic_nr]);  in gic_cpu_if_down()
880 	unsigned int cur_cpu_id, gic_irqs, gic_nr = 0;  in gic_migrate_target()  local
885 	BUG_ON(gic_nr >= CONFIG_ARM_GIC_MAX_NR);  in gic_migrate_target()
887 	dist_base = gic_data_dist_base(&gic_data[gic_nr]);  in gic_migrate_target()
890 	gic_irqs = gic_data[gic_nr].gic_irqs;  in gic_migrate_target()
1241 void __init gic_init(unsigned int gic_nr, int irq_start,  in gic_init()  argument
1246 	if (WARN_ON(gic_nr >= CONFIG_ARM_GIC_MAX_NR))  in gic_init()
1255 	gic = &gic_data[gic_nr];  in gic_init()