Symbol: gic_smp_init
drivers/irqchip/irq-gic-v3.c
2054
gic_smp_init();
drivers/irqchip/irq-gic.c
1262
gic_smp_init();