gic_dist_init    1572 drivers/irqchip/irq-gic-v3.c 	gic_dist_init();
gic_dist_init    1174 drivers/irqchip/irq-gic.c 	gic_dist_init(gic);