gic_dist_init     712 drivers/irqchip/irq-gic-v3.c static void __init gic_dist_init(void)
gic_dist_init     491 drivers/irqchip/irq-gic.c static void gic_dist_init(struct gic_chip_data *gic)