kvmhv_rm_send_ipi  544 arch/powerpc/include/asm/kvm_book3s_64.h extern void kvmhv_rm_send_ipi(int cpu);
kvmhv_rm_send_ipi  280 arch/powerpc/kvm/book3s_hv_builtin.c 			kvmhv_rm_send_ipi(cpu);
kvmhv_rm_send_ipi  343 arch/powerpc/kvm/book3s_hv_builtin.c 					kvmhv_rm_send_ipi(cpu0 + t);
kvmhv_rm_send_ipi   63 arch/powerpc/kvm/book3s_hv_rm_xics.c 	kvmhv_rm_send_ipi(hcpu);
kvmhv_rm_send_ipi  171 arch/powerpc/kvm/book3s_hv_rm_xics.c 	kvmhv_rm_send_ipi(cpu);