gic_validate_dist 1664 drivers/irqchip/irq-gic.c 		     gic_validate_dist, ACPI_MADT_GIC_VERSION_V2,
gic_validate_dist 1667 drivers/irqchip/irq-gic.c 		     gic_validate_dist, ACPI_MADT_GIC_VERSION_NONE,