gic_cpu_if_down    71 arch/arm/mach-milbeaut/platsmp.c 	gic_cpu_if_down(0);
gic_cpu_if_down   471 arch/arm/mach-sunxi/mc_smp.c 	gic_cpu_if_down(0);
gic_cpu_if_down    80 arch/arm/mach-vexpress/tc2_pm.c 	gic_cpu_if_down(0);
gic_cpu_if_down   136 include/linux/irqchip/arm-gic.h int gic_cpu_if_down(unsigned int gic_nr);