Symbol: xive_setup_cpu_ipi
arch/powerpc/sysdev/xive/common.c
1267
xive_setup_cpu_ipi(smp_processor_id());
arch/powerpc/sysdev/xive/common.c
1533
return xive_setup_cpu_ipi(cpu);