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);