kvmppc_ipi_thread 241 arch/powerpc/kvm/book3s_hv.c if (cpu >= 0 && kvmppc_ipi_thread(cpu)) kvmppc_ipi_thread 2621 arch/powerpc/kvm/book3s_hv.c kvmppc_ipi_thread(cpu); kvmppc_ipi_thread 3283 arch/powerpc/kvm/book3s_hv.c kvmppc_ipi_thread(pcpu + thr); kvmppc_ipi_thread 3363 arch/powerpc/kvm/book3s_hv.c kvmppc_ipi_thread(pcpu + i);