gic_cpu_init     1006 drivers/irqchip/irq-gic-v3.c static void gic_cpu_init(void)
gic_cpu_init      514 drivers/irqchip/irq-gic.c static int gic_cpu_init(struct gic_chip_data *gic)