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)