gic_cpu_init     1041 drivers/irqchip/irq-gic-v3.c 	gic_cpu_init();
gic_cpu_init     1573 drivers/irqchip/irq-gic-v3.c 	gic_cpu_init();
gic_cpu_init     1041 drivers/irqchip/irq-gic.c 	gic_cpu_init(&gic_data[0]);
gic_cpu_init     1175 drivers/irqchip/irq-gic.c 	ret = gic_cpu_init(gic);