xive_rm_h_ipi     623 arch/powerpc/kvm/book3s_hv_builtin.c 			return xive_rm_h_ipi(vcpu, server, mfrr);
xive_rm_h_ipi     273 arch/powerpc/kvm/book3s_xive.h extern int xive_rm_h_ipi(struct kvm_vcpu *vcpu, unsigned long server,