kvmppc_ipi_thread
if (cpu >= 0 && kvmppc_ipi_thread(cpu))
kvmppc_ipi_thread(cpu);
kvmppc_ipi_thread(pcpu + thr);
kvmppc_ipi_thread(pcpu + i);