xive_setup_cpu_ipi 1220 arch/powerpc/sysdev/xive/common.c 	xive_setup_cpu_ipi(smp_processor_id());
xive_setup_cpu_ipi 1391 arch/powerpc/sysdev/xive/common.c 	return xive_setup_cpu_ipi(cpu);