gic_acpi_register_redist 1835 drivers/irqchip/irq-gic-v3.c 	gic_acpi_register_redist(redist->base_address, redist_base);
gic_acpi_register_redist 1857 drivers/irqchip/irq-gic-v3.c 	gic_acpi_register_redist(gicc->gicr_base_address, redist_base);