xics_rm_h_ipi     628 arch/powerpc/kvm/book3s_hv_builtin.c 		return xics_rm_h_ipi(vcpu, server, mfrr);
xics_rm_h_ipi     146 arch/powerpc/kvm/book3s_xics.h extern int xics_rm_h_ipi(struct kvm_vcpu *vcpu, unsigned long server,