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,