Symbol: gic_validate_dist
drivers/irqchip/irq-gic.c
1704
gic_validate_dist, ACPI_MADT_GIC_VERSION_V2,
drivers/irqchip/irq-gic.c
1707
gic_validate_dist, ACPI_MADT_GIC_VERSION_NONE,