gic_acpi_init    2106 drivers/irqchip/irq-gic-v3.c 		     gic_acpi_init);
gic_acpi_init    2109 drivers/irqchip/irq-gic-v3.c 		     gic_acpi_init);
gic_acpi_init    2112 drivers/irqchip/irq-gic-v3.c 		     gic_acpi_init);