Symbol: gic_acpi_register_redist
drivers/irqchip/irq-gic-v3.c
2309
gic_acpi_register_redist(redist->base_address, redist_base);
drivers/irqchip/irq-gic-v3.c
2351
gic_acpi_register_redist(gicc->gicr_base_address, redist_base);