gic_validate_dist_version 1739 drivers/irqchip/irq-gic-v3.c 	err = gic_validate_dist_version(dist_base);
gic_validate_dist_version 2057 drivers/irqchip/irq-gic-v3.c 	err = gic_validate_dist_version(acpi_data.dist_base);