Symbol: gicv5_starting_cpu
drivers/irqchip/irq-gic-v5.c
1144
ret = gicv5_starting_cpu(smp_processor_id());
drivers/irqchip/irq-gic-v5.c
996
gicv5_starting_cpu, NULL);