Symbol: gic_v2_acpi_init
drivers/irqchip/irq-gic.c
1705
gic_v2_acpi_init);
drivers/irqchip/irq-gic.c
1708
gic_v2_acpi_init);