Symbol: gic_cpu_if_up
drivers/irqchip/irq-gic.c
522
gic_cpu_if_up(gic);
drivers/irqchip/irq-gic.c
704
gic_cpu_if_up(gic);