gic_v2_acpi_init 1665 drivers/irqchip/irq-gic.c 		     gic_v2_acpi_init);
gic_v2_acpi_init 1668 drivers/irqchip/irq-gic.c 		     gic_v2_acpi_init);