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);