gic_cpu_if_up     549 drivers/irqchip/irq-gic.c 	gic_cpu_if_up(gic);
gic_cpu_if_up     731 drivers/irqchip/irq-gic.c 	gic_cpu_if_up(gic);