acpi_validate_gic_table 2105 drivers/irqchip/irq-gic-v3.c 		     acpi_validate_gic_table, ACPI_MADT_GIC_VERSION_V3,
acpi_validate_gic_table 2108 drivers/irqchip/irq-gic-v3.c 		     acpi_validate_gic_table, ACPI_MADT_GIC_VERSION_V4,
acpi_validate_gic_table 2111 drivers/irqchip/irq-gic-v3.c 		     acpi_validate_gic_table, ACPI_MADT_GIC_VERSION_NONE,